ocaml 3.09 transition

[helm.git] / helm / ocaml / utf8_macros / utf8MacroTable.ml

diff --git a/helm/ocaml/utf8_macros/utf8MacroTable.ml b/helm/ocaml/utf8_macros/utf8MacroTable.ml
index d0fcd582cb017caf7f735be12fbf05e45748308e..8b4a02e47077d333c182b541d417ed64770b0b4d 100644 (file)
--- 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"