X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fquery.xml;h=aff80bcb58b96020ddff6038f835fea852ab5cd7;hb=14a126b578b2c9a26d849553c65cec5e381df8fb;hp=1910c00c05c28192d98df1cfc18fcf6f880e4fad;hpb=7a77e2728c1ddd4ad0f4fe75747de04d84a5ca4d;p=helm.git

diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml
index 1910c00c0..aff80bcb5 100644
--- a/helm/mathql/query.xml
+++ b/helm/mathql/query.xml
@@ -9,7 +9,7 @@
   <In>
    <Use>
     <Pattern>
-     <Prefix>cic</Prefix>
+     <Prefix><CONST>cic</CONST></Prefix>
      <TokenList>
       <SLASH/>
       <CONST>Coq</CONST>