diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re index 94ebac1864..cd92739191 100644 --- a/test/Test_Menhir.re +++ b/test/Test_Menhir.re @@ -20,7 +20,7 @@ let strip_parens_and_add_builtins = VarMap.lookup(Haz3lcore.Builtins.Pervasives.builtins, x); cont( switch (builtin) { - | Some(Fn(_, _, _)) => cont(BuiltinFun(x) |> Exp.fresh) // TODO Decide whether these should be builtins in the parser or vars + | Some(Fn(_, _, _)) => cont(BuiltinFun(x) |> Exp.fresh) | Some(Const(_, _)) | None => cont(e) },