]> matita.cs.unibo.it Git - helm.git/commit
fix double app in Ast
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Sep 2009 17:12:41 +0000 (17:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Sep 2009 17:12:41 +0000 (17:12 +0000)
commit8f785ed7fd5b2674d9fadbe5fac2eb7b2ec1cc4b
tree9d90eb2a04fae09d1574e2d58164ffd5c45a8abd
parent72a3999ca5a4a2168753c272063ea6530dc963bd
fix double app in Ast
helm/software/components/ng_disambiguation/nCicDisambiguate.ml