-
Sylvain Dailler authored
This adapts the ConnectionError exception to output a nice message in Why3 * src/driver/prove_client.ml Register the new exception so that it is nicely printed. Change-Id: I9483fd0bf2561eaed007432b1eb982e7fd086486 (cherry picked from commit 4df80c1501cf304f1e20981bdb5f6f4e0b258b44)
fe261a9b