Fix #1929 (#1933)

cyrus- · web-flow · commit 3eaafa3214d7 · 2025-09-04T20:23:29.000+01:00
diff --git a/src/haz3lcore/lang/MakeTerm.re b/src/haz3lcore/lang/MakeTerm.re
@@ -797,11 +797,11 @@ and rul = (unsorted): Rul.t => {
           List.combine(ps, leading_clauses @ [last_clause]),
           ids(unsorted),
         )
-      | None => mk_rules(e, [], [])
+      | None => mk_rules(e, [], [Id.invalid])
       }
-    | _ => mk_rules(e, [], [])
+    | _ => mk_rules(e, [], [Id.invalid])
     }
-  | _ => mk_rules(e, [], [])
+  | _ => mk_rules(e, [], [Id.invalid])
   };
 }
 

Original file line number	Diff line number	Diff line change
`@@ -797,11 +797,11 @@ and rul = (unsorted): Rul.t => {`
`797`	`797`	`List.combine(ps, leading_clauses @ [last_clause]),`
`798`	`798`	`ids(unsorted),`
`799`	`799`	`)`
`800`		`- \| None => mk_rules(e, [], [])`
	`800`	`+ \| None => mk_rules(e, [], [Id.invalid])`
`801`	`801`	`}`
`802`		`- \| _ => mk_rules(e, [], [])`
	`802`	`+ \| _ => mk_rules(e, [], [Id.invalid])`
`803`	`803`	`}`
`804`		`- \| _ => mk_rules(e, [], [])`
	`804`	`+ \| _ => mk_rules(e, [], [Id.invalid])`
`805`	`805`	`};`
`806`	`806`	`}`
`807`	`807`