minor test_elaboration update

hazelgrove · Aug 24, 2024 · fe24986 · fe24986
1 parent c20706a
commit fe24986
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re
@@ -20,7 +20,8 @@ let dhexp_typ = testable(Fmt.using(dhexp_print, Fmt.string), dhexp_eq);
 let ids = List.init(12, _ => Id.mk());
 let id_at = x => x |> List.nth(ids);
 let mk_map = CoreSettings.on |> Interface.Statics.mk_map;
-let dhexp_of_uexp = u => Elaborator.dhexp_of_uexp(mk_map(u), u, false);
+let dhexp_of_uexp = u =>
+  Elaborator.dhexp_of_uexp(mk_map(u), u, false, false);
 let alco_check = dhexp_typ |> Alcotest.check;
 
 let u1: Term.UExp.t = {ids: [id_at(0)], term: Int(8)};