]> matita.cs.unibo.it Git - helm.git/commit
removedx a prerr_endline
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 20 May 2006 10:07:01 +0000 (10:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 20 May 2006 10:07:01 +0000 (10:07 +0000)
commit0c2abc0eb74a5387469375a4a5897265633be340
tree82152613b4f46059ef6d3f65c5c1452eeb14b7b6
parent45d872c9c4af6cffd39fd9af490da09f9066d1c1
removedx a prerr_endline
components/tactics/paramodulation/indexing.ml