ocaml 3.09 transition

[helm.git] / helm / proofChecker / proofChecker.conf.xml.sample

diff --git a/helm/proofChecker/proofChecker.conf.xml.sample b/helm/proofChecker/proofChecker.conf.xml.sample
index 3343e60bcd818442d068336c390640a0e16b5ce4..1f58c6c836e600cd07162e55fa8260c4766ecc72 100644 (file)
--- a/helm/proofChecker/proofChecker.conf.xml.sample
+++ b/helm/proofChecker/proofChecker.conf.xml.sample
@@ -1,7 +1,11 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
-  <value key="proofchecker.port">48084</value>
-  <value key="getter.mode">remote</value>
-  <value key="getter.url">http://localhost:58081/</value>
-  <!-- <value key="getter.url">http://mowgli.cs.unibo.it:58081/</value> -->
+ <section name="proofchecker">
+  <key name="port">58084</key>
+ </section>
+ <section name="getter">
+  <key name="mode">remote</key>
+  <key name="url">http://localhost:58081/</key>
+  <!-- <key name="url">http://mowgli.cs.unibo.it:58081/</key> -->
+ </section>
 </helm_registry>