]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc06272) | patch
Debug printing update, now the unification bug
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 10 Oct 2002 19:40:37 +0000 (19:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 10 Oct 2002 19:40:37 +0000 (19:40 +0000)
commit50d48fe8a3c70e70bf2f06b60dfa3a6b8c121b6b
tree60ae6c378359c59ad25c2b441ca11eed97174ca3tree | snapshot
parentcc062726cf14690f8f1e6216ac8d26901c80e5e2commit | diff
Debug printing update, now the unification bug
seems to be in tac_zero_inf_pos.

We get '0 < 1 + 0' instead of '0 < 1'.
helm/gTopLevel/fourierR.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.