-
Guillaume Melquiond authored
Locations and labels were leaking into constant definitions, thus preventing TPTP provers to unify them when equal. Example: const_shdqproofssldtdtsltest_harnessdtmlwdq_17_23_24sh_3 <> const_3.
906a84ea
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
Locations and labels were leaking into constant definitions, thus preventing TPTP provers to unify them when equal. Example: const_shdqproofssldtdtsltest_harnessdtmlwdq_17_23_24sh_3 <> const_3.