]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22f61c7) | patch
Big bug fixed: in the case t <?= ?1, the instantiation ?1 := t was generated
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 22 Apr 2004 12:33:35 +0000 (12:33 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 22 Apr 2004 12:33:35 +0000 (12:33 +0000)
commit4d08e8112264c289fdcc978ee81d9352e972edcf
treef952cbae9c5b885d90fa40b935415ffbad07f03ctree | snapshot
parent22f61c7bd18cd3652e886f6a765aab63eacac83ccommit | diff
Big bug fixed: in the case  t <?= ?1, the instantiation ?1 := t was generated
and then t : C and ?1 : E were retrieved/computed correctly; then
E <?= T was incorrectly tested (instead of T <?= E).
helm/ocaml/cic_unification/cicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.