From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 20 May 2004 17:16:56 +0000 (+0000)
Subject: open Helm_registry per default
X-Git-Tag: V_0_0_9~16
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=107efb54d14f5ce245a96f02cf7d063cb4242534;p=helm.git

open Helm_registry per default
---

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