Resurrect Sail output option (with new name: -output_sail)

1 files changed, 3 insertions, 0 deletions

diff --git a/src/sail.ml b/src/sail.ml
index eeacbb2d..b059ae08 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -251,6 +251,9 @@ let options = Arg.align ([
   ( "-verbose",
     Arg.Int (fun verbosity -> Util.opt_verbosity := verbosity),
     " produce verbose output");
+  ( "-output_sail",
+    Arg.Set opt_print_verbose,
+    " print Sail code after type checking and initial rewriting");
   ( "-ddump_tc_ast",
     Arg.Set opt_ddump_tc_ast,
     " (debug) dump the typechecked ast to stdout");