From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 4 Oct 2004 09:40:21 +0000 (+0000)
Subject: - fixed "Blue" vs "blue" typo
X-Git-Tag: V_0_0_10~98
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2c513ec16a61ff291a37278e959aa38a38df660a;p=helm.git

- fixed "Blue" vs "blue" typo
---

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([],".")::