Le 19/02/2018 à 14:20, Julia Lawall a écrit :
> It does not appear. It does work when I move from one clone of the git
> repository to another on the same machine.  I'll see later what happens
> when I move to a different machine.  I think that the versions of Coq are
> the same (have the same number).  But they are not compiled with the same
> version of OCaml.

Strange. I don't think the version of OCaml is a problem.

You should look at the terminal to see of error messages appear there.

- Claude

Claude Marché                          | tel: +33 1 69 15 66 08
INRIA Saclay - Île-de-France           |
Université Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |
Why3-club mailing list

Reply via email to