Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 05f6fd82 authored by POTTIER Francois's avatar POTTIER Francois

In `--interpret` mode, print `Ready!` once ready to accept input.

parent fa2f39c4
......@@ -8,6 +8,8 @@
These references were infrequent anyway,
and `Pervasives` is about to be deprecated in OCaml 4.08, it seems.
* In `--interpret` mode, print `Ready!` once ready to accept input.
* Coq back-end: add a few newlines in the generated file for readability.
(Suggested by Bernhard Schommer.)
......@@ -605,6 +605,7 @@ module Run (X : sig end) = struct
let () =
if Settings.interpret then
let read = setup() in
Printf.printf "Ready!\n%!";
while true do
match read() with
| None ->
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment