]> matita.cs.unibo.it Git - helm.git/commit
fixed a couple of bugs that broke tests...
authorAlberto Griggio <griggio@fbk.eu>
Wed, 12 Oct 2005 12:37:36 +0000 (12:37 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Wed, 12 Oct 2005 12:37:36 +0000 (12:37 +0000)
commit43c2a5068c1ff5f838e0558bb60c21e316cab852
treebc9ff823bf613fbd8f92fe5596f200e94b5902a9
parent71c9c97dfca2393bd6d90ea45f6d2e4e6ae15793
fixed a couple of bugs that broke tests...
helm/ocaml/paramodulation/indexing.ml
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/saturation.ml