Fix no-term-like-pp option comment

OCamlPro · Mar 23, 2021 · 0a1e330 · 0a1e330
1 parent 71e7fee
commit 0a1e330
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
@@ -1183,7 +1183,7 @@ let parse_term_opt =
     Arg.(value & flag & info ["rwt"; "rewriting"] ~docs ~doc) in
 
   let no_term_like_pp =
-    let doc = "Output semantic values as terms." in
+    let doc = "Do not output semantic values as terms." in
     Arg.(value & flag & info ["no-term-like-pp"] ~docs ~doc) in
 
   Term.(ret (const mk_term_opt $