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

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