REST API Fix

wrench-project · Aug 7, 2024 · 9df8e64 · 9df8e64
1 parent 2fb5e64
commit 9df8e64
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/wrench/wrench-daemon/doc/wrench-openapi.json b/tools/wrench/wrench-daemon/doc/wrench-openapi.json
@@ -5593,7 +5593,7 @@
                     "type": "bool",
                     "description": "Ignore machine specs"
                   },
-                  "redundant, dependencies": {
+                  "ignore_redundant_dependencies": {
                     "type": "bool",
                     "description": "Redundant dependencies"
                   },