X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fquery.xml;h=1910c00c05c28192d98df1cfc18fcf6f880e4fad;hb=11ca09baa5979991650a11878ce807a21ba978ea;hp=8e8f3792a0a13d2b5384e27462d0d89d86905bc2;hpb=58848ea9446dd2d55da06bbd5fc8b0eea68735df;p=helm.git

diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml
index 8e8f3792a..1910c00c0 100644
--- a/helm/mathql/query.xml
+++ b/helm/mathql/query.xml
@@ -20,9 +20,8 @@
       <SLASH/>
       <CONST>Equality</CONST>
       <SLASH/>
-      <CONST>eq</CONST>
+      <CONST>eq.ind</CONST>
      </TokenList>
-     <Extension>ind</Extension>
     </Pattern>
     <Position binder="$1"/>
    </Use>