From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 20 May 2004 12:06:35 +0000 (+0000)
Subject: added helm-pxp, now needed
X-Git-Tag: V_0_0_9~34
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=12b2964f1389189ff77cc9de5623388f2f3d4e5d;p=helm.git

added helm-pxp, now needed
---

diff --git a/helm/ocaml/registry/.ocamlinit b/helm/ocaml/registry/.ocamlinit
index c5d8a80ef..1366164fa 100644
--- a/helm/ocaml/registry/.ocamlinit
+++ b/helm/ocaml/registry/.ocamlinit
@@ -3,4 +3,5 @@
 #require "str";;
 #require "netstring";;
 #require "pxp";;
+#require "helm-pxp";;
 #load "registry.cma";;