remove excessive debug output

hazelgrove · Aug 20, 2024 · 096c217 · 096c217
1 parent c819ca1
commit 096c217
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/haz3lcore/dynamics/Stepper.re b/src/haz3lcore/dynamics/Stepper.re
@@ -247,7 +247,6 @@ let rec evaluate_pending = (~settings, s: t) => {
         }
       )
       |> DHExp.repair_ids;
-    let _ = print_endline(d_loc' |> DHExp.show);
     let d' = EvalCtx.compose(eo.ctx, d_loc');
     let new_step = {
       d,