From 7d0bd76b8c1a425b5447d834aef3bf60826a12e2 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 4 Nov 2007 18:55:44 +0000
Subject: [PATCH] Type arguments are better uncapitalized.
---
helm/software/components/cic_exportation/cicExportation.ml | 5 +++++
1 file changed, 5 insertions(+)
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
--
2.39.5