From 3a7e10b973ebdf5a26872075188ae65b4ab14bc7 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 10 Nov 2007 11:05:00 +0000
Subject: [PATCH] Dead code removed. More ocaml keywords.
---
helm/software/components/cic_exportation/cicExportation.ml | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/helm/software/components/cic_exportation/cicExportation.ml b/helm/software/components/cic_exportation/cicExportation.ml
index 813e65c29..f35cd0e1e 100644
--- a/helm/software/components/cic_exportation/cicExportation.ml
+++ b/helm/software/components/cic_exportation/cicExportation.ml
@@ -45,8 +45,7 @@ let analyze_type context t =
let rec aux =
function
Cic.Sort s -> `Sort s
- | Cic.Prod (_,_,t)
- | Cic.Lambda (_,_,t) -> aux t
+ | Cic.Prod (_,_,t) -> aux t
| _ -> `SomethingElse
in
match aux t with
@@ -63,7 +62,9 @@ let ppid =
let reserved =
[ "to";
"mod";
- "val"
+ "val";
+ "in";
+ "function"
]
in
function n ->
--
2.39.2