Fix assert message for parser_test when menhir fails

hazelgrove · Nov 25, 2024 · decb9ec · decb9ec
1 parent ad1ffec
commit decb9ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
@@ -21,7 +21,7 @@ let make_term_parse = (s: string) =>
 
 let menhir_matches = (name: string, exp: Term.Exp.t, actual: string) =>
   alco_check(
-    name ++ " matches expected type",
+    name ++ " menhir matches expected type",
     exp,
     Haz3lmenhir.Conversion.Exp.of_menhir_ast(
       Haz3lmenhir.Interface.parse_program(actual),