]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/library/Makefile
moved coercion to library (work in progress)
[helm.git] / helm / ocaml / library / Makefile
index 224a8d2ddf0a921cfd61e86806cd4fc63fdd925d..c22a61976a4f5a1a04c6235b1c45cf49d81d1b2f 100644 (file)
@@ -7,8 +7,8 @@ INTERFACE_FILES = \
        libraryMisc.mli \
        libraryDb.mli \
        coercDb.mli \
-       coercGraph.mli \
        librarySync.mli \
+       coercGraph.mli \
        libraryClean.mli \
        $(NULL)
 IMPLEMENTATION_FILES = \