Remove debug comment

hazelgrove · Oct 16, 2024 · c4db0d0 · c4db0d0
1 parent 523177e
commit c4db0d0
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/haz3lcore/dynamics/Elaborator.re b/src/haz3lcore/dynamics/Elaborator.re
@@ -295,7 +295,6 @@ let rec elaborate =
     elaborate(m, uexp, in_container);
   let cast_from = (ty, exp) => fresh_cast(exp, ty, elaborated_type);
   let (term, rewrap) = UExp.unwrap(uexp);
-  print_endline("elaborating " ++ UExp.show(uexp));
   let dhexp =
     switch (term) {
     | Invalid(_)