]> matita.cs.unibo.it Git - helm.git/commit
removed a bad prerr_endline
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 20 May 2006 10:11:47 +0000 (10:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 20 May 2006 10:11:47 +0000 (10:11 +0000)
commit97d5c628470f472501ee41a5cc2e045ca89bfbf0
tree901a71460528b0af92179d9102dd41dba69106c5
parent8c8932ee32a0d49dfe64f0542b5725037648e425
removed a bad prerr_endline
components/tactics/paramodulation/saturation.ml