From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 20 Jul 2003 16:02:49 +0000 (+0000)
Subject: Reindenting.
X-Git-Tag: LucaOK~52
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=15baa1a6ab26699e2afe8fef2dc53bd87cc75dcd

Reindenting.
---

diff --git a/helm/ocaml/cic_omdoc/content2cic.ml b/helm/ocaml/cic_omdoc/content2cic.ml
index 49468eafb..7641ad90e 100644
--- a/helm/ocaml/cic_omdoc/content2cic.ml
+++ b/helm/ocaml/cic_omdoc/content2cic.ml
@@ -39,9 +39,9 @@ let proof2cic term2cic p =
     let module C = Cic in 
     let module Con = Content in
       let rec extend_premise_env current_env = 
-	function
+        function
             [] -> current_env
-	  | p::atl ->
+          | p::atl ->
               extend_premise_env 
               ((p.Con.proof_id,(proof2cic current_env p))::current_env) atl in
       let new_premise_env = extend_premise_env premise_env p.Con.proof_apply_context in