]> matita.cs.unibo.it Git - helm.git/commitdiff
removed debugging prints and better sample
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Sep 2005 09:13:04 +0000 (09:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Sep 2005 09:13:04 +0000 (09:13 +0000)
helm/ocaml/registry/helm_registry.ml
helm/ocaml/registry/tests/sample.xml

index 09582eafe9ee663182d9027a0a20c34ff0165171..7767e4da269dc8e749aeebaf6937b1bf1cf0f602 100644 (file)
@@ -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)
 
index a72546bf7e5671c2598526f257d95eb45f7d7b4f..b0f91f30b4e48d4190b3fbd93cd1988a334f2825 100644 (file)
@@ -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>