From 2c513ec16a61ff291a37278e959aa38a38df660a Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 4 Oct 2004 09:40:21 +0000 Subject: [PATCH] - fixed "Blue" vs "blue" typo --- helm/ocaml/cic_transformations/cexpr2pres.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_transformations/cexpr2pres.ml b/helm/ocaml/cic_transformations/cexpr2pres.ml index 6f11f561c..5789232bb 100644 --- a/helm/ocaml/cic_transformations/cexpr2pres.ml +++ b/helm/ocaml/cic_transformations/cexpr2pres.ml @@ -185,7 +185,7 @@ let rec cexpr2pres ?(priority = 0) ?(assoc = false) ?(tail = []) t = Netconversion.ustring_of_uchar `Enc_utf8 0x2203 else "unknown" in P.Mrow (attr, - P.Mtext([None,"mathcolor","Blue"],binder):: + P.Mtext([None,"mathcolor","blue"],binder):: P.Mtext([],n ^ ":"):: (aux s):: P.Mo([],"."):: -- 2.39.2