From 518a33970fdbed09f80c0786bfee9af2a636a3fd Mon Sep 17 00:00:00 2001 From: Alexander Bandukwala <7h3kk1d@gmail.com> Date: Thu, 3 Oct 2024 12:15:02 -0400 Subject: [PATCH] Fix module reference --- test/Test_Evaluator.re | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/Test_Evaluator.re b/test/Test_Evaluator.re index fc159425b2..9e4ade6651 100644 --- a/test/Test_Evaluator.re +++ b/test/Test_Evaluator.re @@ -16,7 +16,7 @@ let type_of = f => { }; let int_evaluation = - Evaluator.evaluate(Builtins.env_init, {d: Exp.Int(8) |> Exp.fresh}); + Evaluator.evaluate(Builtins.env_init, {d: Int(8) |> Exp.fresh}); let evaluation_test = (msg, expected, unevaluated) => check(