]> matita.cs.unibo.it Git - helm.git/commit
removed unused variable
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 18 Jun 2008 15:02:53 +0000 (15:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 18 Jun 2008 15:02:53 +0000 (15:02 +0000)
commit1bbc2dd649df75e33f2cd7fb3e5ecb15f526a442
tree961858e8232c870db2e62a8c81d0d76232406c20
parentc5e31e8a90f46df4ae760b6ee3440c6c70164726
removed unused variable
helm/software/matita/matitacLib.ml