]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/.ocamlinit
removed no longer used METAs
[helm.git] / helm / ocaml / registry / .ocamlinit
index 9aee6008e6a2c0dada86588e8510073725d69377..b08e0ebfc1d4d161661ee542545d8301e752d993 100644 (file)
@@ -1,4 +1,4 @@
 #use "topfind";;
 #require "helm-registry";;
 open Helm_registry;;
-load_from "sample.xml";;
+load_from "tests/sample.xml";;