]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d481cc) | patch
Bugfix: NCicUnification.could_reduce now performs whd in the applied fixpoint
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 10 Jan 2012 14:28:55 +0000 (14:28 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 10 Jan 2012 14:28:55 +0000 (14:28 +0000)
commitbf4eb0f3a5b5ff262ad32271a8ba6f171e68c1f0
tree1fe3bccd478344b9370d4ff6e6d6c273ec0e9e32tree | snapshot
parent0d481cc22ba8ada5781885da5398086a0b5662f3commit | diff
Bugfix: NCicUnification.could_reduce now performs whd in the applied fixpoint
case, to prevent the recursive call from raising assert failure.
matita/components/ng_refiner/nCicUnification.ml diff | blob | history
matita/components/ng_refiner/nCicUnification.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.