1) Matitaweb now disambiguates scripts as it runs them

[helm.git] / matitaB / components / syntax_extensions / utf8MacroTable.ml

diff --git a/matitaB/components/syntax_extensions/utf8MacroTable.ml b/matitaB/components/syntax_extensions/utf8MacroTable.ml
index 588321c480f65957cad6e64099bf0c42aec18797..eefdcea0ff0236f91a08efd6713ae67a5fb33e99 100644 (file)
--- 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;;