X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test.mli;h=3f7143c685475d72138d2c72534ea466cb5ee871;hp=2bcbb3f1d60f4df93628aa4c9490feaf5c241b60;hb=e69e4e8b68e822e6dc65bfe4040d110eb3c18a71;hpb=c16dd441582b7c7c09cdb3e706f4767a5b266177

diff --git a/compiler/src/lib/tiger/tiger_test.mli b/compiler/src/lib/tiger/tiger_test.mli
index 2bcbb3f..3f7143c 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
   -> ?out_parsing : Tiger_absyn.t
+  -> ?is_error_expected : (Tiger_error.t -> bool)
   -> code         : string
   -> string
   -> t