Remove TODO comment regarding builtins in the parser

hazelgrove · Dec 22, 2024 · ae1ae3d · ae1ae3d
1 parent 9620c17
commit ae1ae3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)
             },