summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorBrian Campbell2017-09-26 15:35:39 +0100
committerBrian Campbell2017-09-26 15:35:39 +0100
commit55e6c694c9bb4befec3cb7636cdc9f51308eb8c4 (patch)
tree813455bb97e6920202d93b01afd1027431e1476c /src
parent48bc62d027029f691f65dd7b4956e3eed3cda9d9 (diff)
Remove debugging statements included accidentally
Diffstat (limited to 'src')
-rw-r--r--src/monomorphise.ml6
1 files changed, 3 insertions, 3 deletions
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 ->