X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fquery.xml;h=4efca730d4e72a6b8697adc2471fe174a785c673;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=748ab0098a88a6526d861ffdef613dc8526b3205;hpb=083c4f014ec4ed17b33fef4a01efca2c72d85b06;p=helm.git

diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml
index 748ab0098..4efca730d 100644
--- 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>