X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2Ftests%2Fsample.xml;h=33e1c65897449adb68669726985f15f027b8e3e7;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=d08ce5644a9267e25e07075fe7d12e70f7e12655;hpb=e510bddb3826ec421b1e5f22ce972430994a410c;p=helm.git

diff --git a/helm/ocaml/registry/tests/sample.xml b/helm/ocaml/registry/tests/sample.xml
index d08ce5644..33e1c6589 100644
--- a/helm/ocaml/registry/tests/sample.xml
+++ b/helm/ocaml/registry/tests/sample.xml
@@ -17,7 +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>
+    <key name="int_float_pair">19 23.2</key>
   </section>
   <section name="triciclo">
     <section name="foo1">