X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=e50642a61c18deec5c726b1440cdf278b96ee4fc;hb=224c4530d80c2ea1f0e0dedf09cc132c6fab9a9d;hp=31ca67c3369abb38fffc0840671a7ecfbb88091d;hpb=006db2fb5a2ccd6e5043b6809a620ac96603648c;p=helm.git

diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 31ca67c33..e50642a61 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1161,7 +1161,7 @@
                               <widget class="GtkMenuItem" id="showCoercionsGraphMenuItem">
                                 <property name="visible">True</property>
                                 <property name="tooltip" translatable="yes">Displays the graph of coercions</property>
-                                <property name="label" translatable="yes">Coericons Graph</property>
+                                <property name="label" translatable="yes">Coercions Graph</property>
                                 <property name="use_underline">True</property>
                               </widget>
                             </child>