Deprecated the option --use-underscore (OCamlPro#805)

Halbaroth · Sep 15, 2023 · 22698af · 22698af
1 parent 0468694
commit 22698af
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,6 @@
 ## unreleased
+### deprecated
+* printing underscore instead of fresh value in model
 
 ## v2.5.0
 

diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml
@@ -1025,10 +1025,14 @@ let parse_output_opt =
 
   let use_underscore =
     let doc = "Output \"_\" instead of fresh value in interpretation" in
+    let deprecated =
+      "this option will be removed as it does not produce a \
+       SMTLIB-compliant output."
+    in
     let docv = "VAL" in
     Arg.(value & flag & info
            ["interpretation-use-underscore";"use-underscore"]
-           ~docv ~docs:s_models ~doc) in
+           ~docv ~docs:s_models ~doc ~deprecated) in
 
   let unsat_core =
     let doc = "Experimental support for computing and printing unsat-cores." in