X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test.mli;h=58d743c8cabdf0b8f1f751bc1090e66796139b02;hp=30527a5328cde060c08b83506e5ce04621c7c596;hb=890378947d20b74a3cdd695f011a7fa1352fa5af;hpb=b53d50d3d7395376979b6fb90863901b5dd69cfe

diff --git a/compiler/src/lib/tiger/tiger_test.mli b/compiler/src/lib/tiger/tiger_test.mli
index 30527a5..58d743c 100644
--- a/compiler/src/lib/tiger/tiger_test.mli
+++ b/compiler/src/lib/tiger/tiger_test.mli
@@ -3,6 +3,7 @@ type t
 val case
   :  ?out_lexing  : Tiger_parser.token list option
   -> ?out_parsing : Tiger_absyn.t option
+  -> ?is_error_expected_parsing : (Tiger_error.t -> bool) option
   -> ?is_error_expected_semant : (Tiger_error.t -> bool) option
   -> code         : string
   -> string