From 55e6c694c9bb4befec3cb7636cdc9f51308eb8c4 Mon Sep 17 00:00:00 2001 From: Brian Campbell Date: Tue, 26 Sep 2017 15:35:39 +0100 Subject: Remove debugging statements included accidentally --- src/monomorphise.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/monomorphise.ml b/src/monomorphise.ml index eadae9fa..f1cec8c2 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -1099,11 +1099,11 @@ let split_defs splits defs = match Env.lookup_id id env with | Local (Mutable,_) | Unbound -> if is_value e' - then (prerr_endline ("Good assignment " ^ string_of_exp e' ^ " to " ^string_of_id id) ;ISubst.add id e' assigns) - else (prerr_endline (string_of_exp e' ^ " not a value"); ISubst.remove id assigns) + then ISubst.add id e' assigns + else ISubst.remove id assigns | _ -> assigns end - | None -> (prerr_endline ("Assignment " ^ string_of_exp exp ^ " not simple enough"); assigns) + | None -> assigns in re (E_assign (le', e')) assigns | E_exit e -> -- cgit v1.2.3