From 096c217c67c52054d9792f42704e38ebf2bfc753 Mon Sep 17 00:00:00 2001
From: Haoxiang Fei <fettes@umich.edu>
Date: Tue, 20 Aug 2024 20:58:29 +0800
Subject: [PATCH] remove excessive debug output

---
 src/haz3lcore/dynamics/Stepper.re | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/haz3lcore/dynamics/Stepper.re b/src/haz3lcore/dynamics/Stepper.re
index e922aacf52..8b977cdf5f 100644
--- 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,