parameter sintax added to axiom statement

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

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