-
When the proof terminator was missing at the end of a Coq file, Why3 deleted the whole proof. Now Why3 no longer discards the proof inadvertently.
9c0d73ef
When the proof terminator was missing at the end of a Coq file, Why3 deleted the whole proof. Now Why3 no longer discards the proof inadvertently.