From 4469f1295fcdf567edcc71c823fdec6a8194ca94 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 28 Nov 2017 19:56:25 +0000
Subject: Make pretty printer able to print several internal constructs for
 debugging

---
 src/process_file.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/process_file.ml')

diff --git a/src/process_file.ml b/src/process_file.ml
index e4518837..92b3f328 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -210,7 +210,7 @@ let rewrite_step defs (name,rewriter) =
     | Some (f, i) ->
       begin
         let filename = f ^ "_rewrite_" ^ string_of_int i ^ "_" ^ name ^ ".sail" in
-        output "" Lem_ast_out [filename, defs];
+        (* output "" Lem_ast_out [filename, defs]; *)
         let ((ot,_, _) as ext_ot) = open_output_with_check_unformatted filename in
         Pretty_print_sail2.pp_defs ot defs;
         close_output_with_check ext_ot;
-- 
cgit v1.2.3