]> matita.cs.unibo.it Git - helm.git/commit
Serious bug fixed: a variable was captured during unfolding of Fix, resulting
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 26 Mar 2007 18:05:50 +0000 (18:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 26 Mar 2007 18:05:50 +0000 (18:05 +0000)
commited1ee239fa5380b061453d8d2e8a75ceba024b52
treed16dd65e65b8237581d0b947a94c4c8c131b2626
parentafcc82e79c1ebddaaed0fe9e83cfcea79493701c
Serious bug fixed: a variable was captured during unfolding of Fix, resulting
in the context of the return type of mutually recursive definitions being
lifted for each function but the first one!
helm/software/components/cic_proof_checking/cicReduction.ml