]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f14acb0) | patch
Fixes a bug in NCicElim.pp (term -> ast conversion used when building
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 6 Dec 2012 09:48:53 +0000 (09:48 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 6 Dec 2012 09:48:53 +0000 (09:48 +0000)
commit97c0a87f5af8ef993075dee9a5aa582d4bdd675b
treeff154c9f7d291ed786f762b941d2b868d8425c75tree | snapshot
parentf14acb000a8305ad7a88256c8a016be767de72b9commit | diff
Fixes a bug in NCicElim.pp (term -> ast conversion used when building
projections) that was swapping arguments in a let-in, causing projection
generation to fail for any record field containing a let-in expression.
matita/components/ng_tactics/nCicElim.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.