Move show-prop-model in the MODEL section

OCamlPro · Sep 29, 2023 · aee063a · aee063a
1 parent 3b6ddfd
commit aee063a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml
@@ -1050,7 +1050,7 @@ let parse_output_opt =
                (with --interpretation or with --all-models options)."
     in
     Arg.(value & flag & info
-           ["show-prop-model"; "show-propositional-model"] ~doc)
+           ["show-prop-model"; "show-propositional-model"] ~docs:s_models ~doc)
   in
 
   let unsat_core =