X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fsyntax_extensions%2Futf8MacroTable.ml;h=eefdcea0ff0236f91a08efd6713ae67a5fb33e99;hb=dee464f8cd331524663167659d1fad01e558d4e1;hp=588321c480f65957cad6e64099bf0c42aec18797;hpb=d83fa3d6e3604bcc596840219f3998d795630d66;p=helm.git

diff --git a/matitaB/components/syntax_extensions/utf8MacroTable.ml b/matitaB/components/syntax_extensions/utf8MacroTable.ml
index 588321c48..eefdcea0f 100644
--- a/matitaB/components/syntax_extensions/utf8MacroTable.ml
+++ b/matitaB/components/syntax_extensions/utf8MacroTable.ml
@@ -2136,5 +2136,5 @@ let _ =
   List.iter
     (fun (macro, utf8) ->
       Hashtbl.replace macro2utf8 macro utf8;
-      Hashtbl.add utf82macro utf8 macro)
+      Hashtbl.replace utf82macro utf8 macro)
     data;;