From fc5558d2b62365ea65818947780081dad74d4526 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 8 Feb 2019 18:14:08 +0000
Subject: Resurrect Sail output option (with new name: -output_sail)

---
 src/sail.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

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");
-- 
cgit v1.2.3