[Why3-club] typo

Jean-Christophe Filliatre Jean-Christophe.Filliatre at lri.fr
Mon Jan 28 10:52:51 CET 2019


Thanks for reporting the typo. This is fixed.
--
Jean-Christophe

On 1/26/19 2:56 PM, Julia Lawall wrote:
> why3.1.1.1/src/driver/call_provers.ml:  | OutOfMemory -> fprintf fmt "Ouf Of Memory"
> _______________________________________________
> Why3-club mailing list
> Why3-club at lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/why3-club
> 


More information about the Why3-club mailing list