fixed paramodulation trnsition

[helm.git] / helm / ocaml / Makefile.in

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 0c2d4941177a12cacac17e0b24afb51f7d32da6b..88410454c48931e63cedc45ace1d735a2ba4c257 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -23,7 +23,6 @@ MODULES =                     \
        cic_unification         \
        whelp                   \
        tactics                 \
-       paramodulation          \
        cic_disambiguation      \
        lexicon                 \
        grafite_engine          \