ocaml 3.09 transition

[helm.git] / helm / mathql / query.xml

diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml
index 748ab0098a88a6526d861ffdef613dc8526b3205..4efca730d4e72a6b8697adc2471fe174a785c673 100644 (file)
--- a/helm/mathql/query.xml
+++ b/helm/mathql/query.xml
@@ -21,7 +21,7 @@
      <CONST>MainHypothesis</CONST>
     </EQ>
     <EQ>
-     <PROPERTY name="TITLE"><Rvar name="@result"/></PROPERTY>
+     <PROPERTY name="TITLE"><REFOF><Rvar name="@result"/></REFOF></PROPERTY>
      <CONST>Uguaglianza</CONST>
     </EQ>
    </AND>