Update BUILD.md: --debug implies --validate

aibasel · Oct 12, 2023 · 268fed4 · 268fed4
1 parent 593582c
commit 268fed4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/BUILD.md b/BUILD.md
@@ -57,7 +57,7 @@ After installation, permanently set the environment variable `soplex_DIR` to the
 
 ### Optional: Plan Validator
 
-You can validate the found plans by passing `--validate` to the planner if the [VAL plan validation software](https://github.com/KCL-Planning/VAL)
+You can validate the found plans by passing `--validate` (implied by `--debug`) to the planner if the [VAL plan validation software](https://github.com/KCL-Planning/VAL)
 is installed on your system and the binary `validate` is on the `PATH`.
 
 **Note:** VAL has a [bug](https://github.com/KCL-Planning/VAL/issues/48) that prevents it from correctly handling the IPC 18 data network domain.