]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/tests/sample.xml
added get_pair method
[helm.git] / helm / ocaml / registry / tests / sample.xml
index e8ebdc76bbb7478a4adf477dcbd98659142375b9..d08ce5644a9267e25e07075fe7d12e70f7e12655 100644 (file)
@@ -17,6 +17,7 @@
     <key name="int_list">13</key>
     <key name="int_list">17</key>
     <key name="int_list">19</key>
+    <key name="int_pair">19 23</key>
   </section>
   <section name="triciclo">
     <section name="foo1">