X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fdictionary-test.xml;h=3fcc056942ba8c8c624c73146e44f7971c33e5c9;hb=e4fed32b1519f436de9ca84c3c9c67e1530808b6;hp=94190888dc020bc3212188cd8b4a4f145a9f0273;hpb=98e5817ce4fa424fb3181d90d327935c1b100ec4;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/dictionary-test.xml b/helm/DEVEL/mathml_editor/dictionary-test.xml
index 94190888d..3fcc05694 100644
--- a/helm/DEVEL/mathml_editor/dictionary-test.xml
+++ b/helm/DEVEL/mathml_editor/dictionary-test.xml
@@ -33,7 +33,7 @@
   <!-- MACRO for testing  -->
   <entry name="red"        pattern="{"/>
   <entry name="green"      pattern="#1\over"/>
-  <entry name="duedelim"   pattern="#1\over\over#2"/>
+  <entry name="duedelim"   pattern="#1\over\of#2"/>
   <entry name="nodeside" pattern="#1#2\over"/>
 
 </dictionary>