1 files changed, 0 insertions, 2 deletions
diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index c66d69c03..6c7ca4f8e 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -352,7 +352,6 @@ let about () = {
 }
 
 let handle_exn (e, info) =
-  let (e, info) = ExplainErr.process_vernac_interp_error (e, info) in
   let dummy = Stateid.dummy in
   let loc_of e = match Loc.get_loc e with
     | Some loc -> Some (Loc.unloc loc)
@@ -509,7 +508,6 @@ let rec parse = function
 
 let () = Coqtop.toploop_init := (fun coq_args extra_args ->
         let args = parse extra_args in
-        Flags.quiet := true;
         CoqworkmgrApi.(init High);
         coq_args, args)