diff options
| -rw-r--r-- | toplevel/stm.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/toplevel/stm.ml b/toplevel/stm.ml index 838497da2..7086ff722 100644 --- a/toplevel/stm.ml +++ b/toplevel/stm.ml @@ -6,7 +6,10 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -let prerr_endline s = if !Flags.debug then prerr_endline s else () +let prerr_endline s = + if !Flags.debug then + prerr_endline (Printf.sprintf "%d] %s" !Flags.coq_slave_mode s) + else () open Vernacexpr open Errors |