]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/extlib/Makefile
added generic marshaller
[helm.git] / helm / ocaml / extlib / Makefile
index ae60ef00523cf78d1144978b8a47314fa5315429..c67778af4aaf4e696d79294aeb437cabf0b4947e 100644 (file)
@@ -3,6 +3,7 @@ PREDICATES =
 
 INTERFACE_FILES =              \
         hExtlib.mli            \
+       hMarshal.mli            \
        patternMatcher.mli      \
        hLog.mli \
        trie.mli \