Minor change to ID assignment.

hazelgrove · Feb 7, 2025 · 81675d3 · 81675d3
1 parent cb0f870
commit 81675d3
Showing 1 changed file with 2 additions and 7 deletions.
diff --git a/src/haz3lcore/statics/Statics.re b/src/haz3lcore/statics/Statics.re
@@ -438,14 +438,9 @@ and uexp_to_info_map =
   | Let(p, def, body) =>
     switch (check_annotated_function(p)) {
     | Some((f_name, f_args, f_type)) =>
-      let def: UExp.t = {
-        ids: p.ids, // the ID of the original application statement
-        term: UExp.Fun(f_args, def, None, None),
-        copied: false,
-      };
+      let def: UExp.t = UExp.Fun(f_args, def, None, None) |> UExp.fresh;
       let p: UPat.t =
-        UPat.Cast(f_name, f_type, Typ.temp(Unknown(Internal)))
-        |> IdTagged.fresh;
+        UPat.Cast(f_name, f_type, Typ.temp(Unknown(Internal))) |> UPat.fresh;
       let new_binding: UExp.t = {
         ids,
         copied: false,