From bce4ee6000254c368fc83cdf62bdcdb9374b9691 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 2 Jan 2019 12:40:34 +0000
Subject: ...without debug printing

---
 src/constant_fold.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src')

diff --git a/src/constant_fold.ml b/src/constant_fold.ml
index a46f2765..f232067c 100644
--- a/src/constant_fold.ml
+++ b/src/constant_fold.ml
@@ -79,7 +79,6 @@ and exp_of_value =
      mk_exp (E_tuple (List.map exp_of_value vs))
   | V_unit -> mk_lit_exp L_unit
   | V_attempted_read str ->
-     prerr_endline ("constant_fold folding away V_attempted_read " ^ str);
      mk_exp (E_id (mk_id str))
   | _ -> failwith "No expression for value"
 
@@ -132,7 +131,6 @@ let rec run frame =
      (* return a dummy value to read_reg requests which we handle above
         if an expression finally evals to it, but the interpreter
         will fail if it tries to actually use. See value.ml *)
-     prerr_endline ("constant_fold returned V_attempted_read " ^ reg ^ "\n");
      run (cont (Value.V_attempted_read reg) st)
   | Interpreter.Effect_request _ ->
      assert false (* effectful, raise exception to abort constant folding *)
-- 
cgit v1.2.3