Test for semantic errors

[tiger.ml.git] / compiler / src / lib / tiger / tiger_test.mli

diff --git a/compiler/src/lib/tiger/tiger_test.mli b/compiler/src/lib/tiger/tiger_test.mli
index 3f7143c..5cbc445 100644 (file)
--- a/compiler/src/lib/tiger/tiger_test.mli
+++ b/compiler/src/lib/tiger/tiger_test.mli
@@ -3,7 +3,7 @@ type t
 val case
   :  ?out_lexing  : Tiger_parser.token list
   -> ?out_parsing : Tiger_absyn.t
-  -> ?is_error_expected : (Tiger_error.t -> bool)
+  -> ?is_error_expected_semant : (Tiger_error.t -> bool)
   -> code         : string
   -> string
   -> t