-
David Hauzar authored
In why3, references are internally stored in the record ref with one field content (containing the value that is referenced). Disable displaying the name of the field content of record ref in counterexamples.
13921d03
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
In why3, references are internally stored in the record ref with one field content (containing the value that is referenced). Disable displaying the name of the field content of record ref in counterexamples.