ocaml 3.09 transition

[helm.git] / helm / gTopLevel / dictionary-cic.xml

diff --git a/helm/gTopLevel/dictionary-cic.xml b/helm/gTopLevel/dictionary-cic.xml
index 29397d45ad559d336ce9a874ade14157a73bc63b..1d63dac83f7ac09b86a6c80f7b63104220689137 100644 (file)
--- a/helm/gTopLevel/dictionary-cic.xml
+++ b/helm/gTopLevel/dictionary-cic.xml
@@ -34,4 +34,7 @@
   <entry name="Set"  class="i" val="Set"/>
   <entry name="Type" class="i" val="Type"/>
 
+  <entry name="eqt"  class="o" val="="/>
+  <entry name="neqt" class="o" val="&#x2260;"/>
+
 </dictionary>