-
Sylvain Dailler authored
Add a name_table in printer_args. Put the definition of name_table in task.ml. Build_name_tables only called once in proof_node creation. Modified the rest accordingly.
e0d6b38d
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/
Add a name_table in printer_args. Put the definition of name_table in task.ml. Build_name_tables only called once in proof_node creation. Modified the rest accordingly.