From 15baa1a6ab26699e2afe8fef2dc53bd87cc75dcd Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sun, 20 Jul 2003 16:02:49 +0000 Subject: [PATCH] Reindenting. --- helm/ocaml/cic_omdoc/content2cic.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2