1. matitaEngine splitted into disambiguation (now in grafite_parser) and

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

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 306dc2695431a43618d721549e2605293709dba0..aa9fb9c41a60a6201e8767f36cc7009094018f41 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -23,8 +23,10 @@ MODULES =                    \
        cic_unification         \
        whelp                   \
        tactics                 \
-       cic_disambiguation      \
        paramodulation          \
+       cic_disambiguation      \
+       grafite2                \
+       grafite_parser          \
        $(NULL)
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@