-
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
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
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.