[Why3-club] typo

Julia Lawall julia.lawall at lip6.fr
Sat Jan 26 14:56:33 CET 2019


why3.1.1.1/src/driver/call_provers.ml:  | OutOfMemory -> fprintf fmt "Ouf Of Memory"


More information about the Why3-club mailing list