]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed in the computation of the disambiguation domain of a let...rec.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Feb 2007 18:47:05 +0000 (18:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Feb 2007 18:47:05 +0000 (18:47 +0000)
commita4f2e0626c1141b58a58ca3956154462eb234d89
tree2433d36af3f10b59414c897bacd76b3c00e82492
parenta2079b129bcb754d55a5ed5290d8b9aaa525ac3e
Bug fixed in the computation of the disambiguation domain of a let...rec.
helm/software/components/cic_disambiguation/disambiguate.ml