examples/use_api/why3ml_pp.ml is broken
Number.print_constant
no longer exist and the constructors of Eany
and Efun
have changed. This patch fixes these issues: fix_why3ml_pp.patch. As an outsider I'm not completely sure that the output is as intended, but it at least it marks the offending lines.