X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2F.ocamlinit;fp=helm%2Focaml%2Fregistry%2F.ocamlinit;h=efcbda003a80de84ca9ea6f4829acc3594bf7df6;hb=dfdf5642131761008f0b0430594a83d45ab62789;hp=352cad8baeb116dc3b7549a1253bc0224a7d2697;hpb=7045d093d2421fd69ae87e7575f48e0005e5600c;p=helm.git

diff --git a/helm/ocaml/registry/.ocamlinit b/helm/ocaml/registry/.ocamlinit
index 352cad8ba..efcbda003 100644
--- a/helm/ocaml/registry/.ocamlinit
+++ b/helm/ocaml/registry/.ocamlinit
@@ -2,7 +2,6 @@
 #thread;;
 #require "str";;
 #require "netstring";;
-#require "pxp";;
-#require "helm-pxp";;
+#require "helm-xml";;
 #load "registry.cma";;
 open Helm_registry;;