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 =