A new status Unsafe in Interface. Meant for commands such as Admitted.

Currently :
- only Admitted uses the Unsafe return status
- the status is ignored in coqtop
- Coqide sees the status but apparently doesn't use it for colouring (I'm not
  sure why, but then again, it's not as if I understood coqide's code or
  anything)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15610 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/toplevel/toplevel.ml b/toplevel/toplevel.ml
index ad7ad014a9..cac5bd7d00 100644
--- a/toplevel/toplevel.ml
+++ b/toplevel/toplevel.ml
@@ -352,7 +352,7 @@ let do_vernac () =
   resynch_buffer top_buffer;
   begin
     try
-      raw_do_vernac top_buffer.tokens
+      ignore (raw_do_vernac top_buffer.tokens)
     with e ->
       ppnl (print_toplevel_error (process_error e))
   end;