Remove todo

hazelgrove · Oct 13, 2024 · 5b82cae · 5b82cae
1 parent 2003c76
commit 5b82cae
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/test/Test_MakeTerm.re b/test/Test_MakeTerm.re
@@ -7,7 +7,6 @@ open Haz3lcore;
 
 let exp_typ = testable(Fmt.using(Exp.show, Fmt.string), Exp.fast_equal);
 
-// TODO Assertion if it doesn't parse
 let parse_exp = (s: string) =>
   MakeTerm.from_zip_for_sem(Option.get(Printer.zipper_of_string(s))).term;
 let exp_check = (expected, actual) =>