X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2Futf8MacroTable.ml;h=8b4a02e47077d333c182b541d417ed64770b0b4d;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d0fcd582cb017caf7f735be12fbf05e45748308e;hpb=564d4fe0793c625b9c6be05fa05d5fbb50c61703;p=helm.git

diff --git a/helm/ocaml/utf8_macros/utf8MacroTable.ml b/helm/ocaml/utf8_macros/utf8MacroTable.ml
index d0fcd582c..8b4a02e47 100644
--- a/helm/ocaml/utf8_macros/utf8MacroTable.ml
+++ b/helm/ocaml/utf8_macros/utf8MacroTable.ml
@@ -1266,7 +1266,7 @@ let _ = Hashtbl.replace macro2utf8 "angzarr" "\226\141\188"
 let _ = Hashtbl.replace macro2utf8 "gel" "\226\139\155"
 let _ = Hashtbl.replace macro2utf8 "ang" "\226\136\160"
 let _ = Hashtbl.replace macro2utf8 "lor" "\226\136\168"
-let _ = Hashtbl.replace macro2utf8 "circ" "^"
+let _ = Hashtbl.replace macro2utf8 "circ" "\226\136\152"
 let _ = Hashtbl.replace macro2utf8 "upharpoonright" "\226\134\190"
 let _ = Hashtbl.replace macro2utf8 "dblac" "\203\157"
 let _ = Hashtbl.replace macro2utf8 "subsetneqq" "\226\138\138"
@@ -2519,7 +2519,7 @@ let _ = Hashtbl.replace utf82macro "\226\136\151" "lowast"
 let _ = Hashtbl.replace utf82macro "\226\134\189" "lhard"
 let _ = Hashtbl.replace utf82macro "\226\134\190" "upharpoonright"
 let _ = Hashtbl.replace utf82macro "\226\137\133" "cong"
-let _ = Hashtbl.replace utf82macro "\226\136\152" "SmallCircle"
+let _ = Hashtbl.replace utf82macro "\226\136\152" "circ"
 let _ = Hashtbl.replace utf82macro "\226\137\134" "simne"
 let _ = Hashtbl.replace utf82macro "\226\134\191" "upharpoonleft"
 let _ = Hashtbl.replace utf82macro "\226\136\154" "Sqrt"