From b8e1f373710c9d0b77586465156a39f8f497a850 Mon Sep 17 00:00:00 2001 From: WondAli Date: Sat, 24 Aug 2024 17:04:13 -0400 Subject: [PATCH] minor test_elaboration update --- test/Test_Elaboration.re | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/Test_Elaboration.re b/test/Test_Elaboration.re index d584492091..bf8cb5b2ea 100644 --- a/test/Test_Elaboration.re +++ b/test/Test_Elaboration.re @@ -20,7 +20,7 @@ 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)};