Modified Files:

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

diff --git a/helm/mathql/query.xml b/helm/mathql/query.xml
index 1910c00c05c28192d98df1cfc18fcf6f880e4fad..aff80bcb58b96020ddff6038f835fea852ab5cd7 100644 (file)
--- 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>