From 8d7dc53276ecfe646b2680a0802f98875c43e11e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 11 Jun 2003 17:12:14 +0000 Subject: [PATCH] Reindentation. --- helm/gTopLevel/cic2Xml.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/helm/gTopLevel/cic2Xml.ml b/helm/gTopLevel/cic2Xml.ml index b4b1f239a..564493cb8 100644 --- a/helm/gTopLevel/cic2Xml.ml +++ b/helm/gTopLevel/cic2Xml.ml @@ -89,7 +89,9 @@ let print_term ~ids_to_inner_sorts = X.xml_nempty "PROD" ["type",sort] [< List.fold_left (fun i (id,binder,s) -> - let sort = Hashtbl.find ids_to_inner_sorts (Cic2acic.source_id_of_id id) in + let sort = + Hashtbl.find ids_to_inner_sorts (Cic2acic.source_id_of_id id) + in let attrs = ("id",id)::("type",sort):: match binder with @@ -119,7 +121,9 @@ let print_term ~ids_to_inner_sorts = X.xml_nempty "LAMBDA" ["sort",sort] [< List.fold_left (fun i (id,binder,s) -> - let sort = Hashtbl.find ids_to_inner_sorts (Cic2acic.source_id_of_id id) in + let sort = + Hashtbl.find ids_to_inner_sorts (Cic2acic.source_id_of_id id) + in let attrs = ("id",id)::("type",sort):: match binder with -- 2.39.2