Hello,On 2018-11-12 09:05, Claude Marché <claude.mar...@inria.fr> writes:
Since Why3 1.0, there is no polymorphic equality in programs. Hence there is no symbol (=) for type cell in your code, but only the equalityfor type int.
This is interesting. What was the motivation to remove polymorphic equality? Best regards, Alan
signature.asc
Description: PGP signature
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club