Fix duplicate ids

hazelgrove · May 2, 2024 · 14e8446 · 14e8446
1 parent 79c9b6a
commit 14e8446
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/haz3lcore/dynamics/Stepper.re b/src/haz3lcore/dynamics/Stepper.re
@@ -239,7 +239,7 @@ let rec evaluate_pending = (~settings, s: t) => {
     let d_loc' =
       (
         switch (take_step(state_ref, eo.env, eo.d_loc)) {
-        | Some(d) => d
+        | Some(d) => d |> DHExp.repair_ids
         | None => raise(Exception)
         }
       )