author | wenzelm |
Sat, 02 Aug 2014 19:38:32 +0200 | |
changeset 59060 | ae3eac418c5f |
parent 59059 | d8966c09025c |
child 59061 | a2340800ca1f |
1.1 --- a/src/Pure/PIDE/command.ML Sat Aug 02 19:29:02 2014 +0200 1.2 +++ b/src/Pure/PIDE/command.ML Sat Aug 02 19:38:32 2014 +0200 1.3 @@ -204,7 +204,7 @@ 1.4 in 1.5 (case res of 1.6 NONE => st0 1.7 - | SOME st => (warning (Toplevel.type_error tr st0 ^ " -- resetting state"); st)) 1.8 + | SOME st => (Output.error_message (Toplevel.type_error tr st0 ^ " -- using reset state"); st)) 1.9 end) (); 1.10 1.11 fun run int tr st =