diff options
| author | Jon French | 2019-01-02 12:40:34 +0000 |
|---|---|---|
| committer | Jon French | 2019-01-02 12:40:34 +0000 |
| commit | bce4ee6000254c368fc83cdf62bdcdb9374b9691 (patch) | |
| tree | aea312537684a6314b59e222e901f390acf6e5af /src | |
| parent | dd5ac9c9b814e0e0c502b4959f8c5c0746ffefd8 (diff) | |
...without debug printing
Diffstat (limited to 'src')
| -rw-r--r-- | src/constant_fold.ml | 2 |
1 files changed, 0 insertions, 2 deletions
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 *) |