diff --git a/formats/planning_configuration.py b/formats/planning_configuration.py index f2a7c2a4e00a66c0a540d3ad0e7ad9d8156f86a8..24fd18ae05c116f7d2e62c4e1e029cb2cdc90740 100644 --- a/formats/planning_configuration.py +++ b/formats/planning_configuration.py @@ -220,8 +220,8 @@ primitive_schema = { "instruction": { "type": "string", "enum": [ - "stay_inside", - "stay_outside", + "stay_inside", + "stay_outside", "navigate_to", "follow", "repeat", @@ -233,9 +233,7 @@ primitive_schema = { "$ref": "https://geojson.org/schema/Feature.json", }, }, - "required": [ - "feature" - ] + "required": ["feature"], } planning_configuration_schema = {