diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re
index d584492091..48f89a55b6 100644
--- 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)};