1.1 --- a/src/Pure/Thy/ml_context.ML	Sun Jul 29 16:00:04 2007 +0200
     1.2 +++ b/src/Pure/Thy/ml_context.ML	Sun Jul 29 16:00:05 2007 +0200
     1.3 @@ -161,8 +161,7 @@
     1.4        |> #1 |> split_list |> pairself implode;
     1.5    in (isabelle_struct decls, body) end);
     1.6  
     1.7 -fun eval name verbose txt =
     1.8 -  Output.ML_errors (use_text name Output.ml_output verbose) txt;
     1.9 +fun eval name verbose txt = use_text name Output.ml_output verbose txt;
    1.10  
    1.11  in
    1.12