author | wenzelm |
Tue, 24 Mar 2009 00:36:32 +0100 | |
changeset 30681 | 27ee3f4ea99c |
parent 30680 | 0863bb353065 |
child 30682 | dcb233670c98 |
--- a/src/Pure/ML/ml_test.ML Tue Mar 24 00:30:52 2009 +0100 +++ b/src/Pure/ML/ml_test.ML Tue Mar 24 00:36:32 2009 +0100 @@ -114,7 +114,7 @@ fun result_fun (parse_tree, code) () = (Context.>> (Result.map (append (the_list parse_tree))); - (case code of NONE => warning "Static Errors" | SOME result => apply_result (result ()))); + (case code of NONE => error "Static Errors" | SOME result => apply_result (result ()))); (* compiler invocation *)