From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 4 Nov 2007 18:55:44 +0000 (+0000)
Subject: Type arguments are better uncapitalized.
X-Git-Tag: make_still_working~5906
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7d0bd76b8c1a425b5447d834aef3bf60826a12e2;hp=6c593b6e83713bf493ad9e5e0688d9ec2fc9f768;p=helm.git

Type arguments are better uncapitalized.
---

diff --git a/helm/software/components/cic_exportation/cicExportation.ml b/helm/software/components/cic_exportation/cicExportation.ml
index eeddc0949..37eff255b 100644
--- a/helm/software/components/cic_exportation/cicExportation.ml
+++ b/helm/software/components/cic_exportation/cicExportation.ml
@@ -345,6 +345,11 @@ let ppty current_module_name =
  let rec args context =
   function
      Cic.Prod (n,s,t) ->
+      let n =
+       match n with
+          Cic.Anonymous -> Cic.Anonymous
+        | Cic.Name n -> Cic.Name (String.uncapitalize n)
+      in
        (match analyze_type context s with
            `Sort Cic.Prop -> args ((Some (n,Cic.Decl s))::context) t
          | `Statement