From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 6 Sep 2005 09:13:04 +0000 (+0000)
Subject: removed debugging prints and better sample
X-Git-Tag: V_0_1_2_1~84
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ec11b4f9daa87bb3aa8f48968c5712d39a0e5374;p=helm.git

removed debugging prints and better sample
---

diff --git a/helm/ocaml/registry/helm_registry.ml b/helm/ocaml/registry/helm_registry.ml
index 09582eafe..7767e4da2 100644
--- a/helm/ocaml/registry/helm_registry.ml
+++ b/helm/ocaml/registry/helm_registry.ml
@@ -25,7 +25,7 @@
 
 open Printf
 
-let debug = true
+let debug = false
 let debug_print s =
   if debug then prerr_endline ("Helm_registry debugging: " ^ s)
 
diff --git a/helm/ocaml/registry/tests/sample.xml b/helm/ocaml/registry/tests/sample.xml
index a72546bf7..b0f91f30b 100644
--- a/helm/ocaml/registry/tests/sample.xml
+++ b/helm/ocaml/registry/tests/sample.xml
@@ -8,9 +8,15 @@
     <key name="mode">remote</key>
     <key name="url">http://localhost:58081</key>
   </section>
+  <section name="triciclo">
+    <key name="merge1">yes</key>
+  </section>
   <section name="triciclo">
     <include href="sample_include.xml" />
   </section>
+  <section name="triciclo">
+    <key name="merge2">yes</key>
+  </section>
   <section name="types">
     <key name="string">debian</key>
     <key name="int">1</key>