-
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: mardi 02/04, lundi 06/05, lundi 03/06
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.