From 4ccb69a58caed6f5da5b64abaf9f65c7a38f8cc3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 13 Sep 2005 13:25:46 +0000 Subject: [PATCH] cosmetic changes --- helm/matita/matitaMathView.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml index 586ff1479..b2708fe29 100644 --- a/helm/matita/matitaMathView.ml +++ b/helm/matita/matitaMathView.ml @@ -100,7 +100,8 @@ let find_root_id annobj id ids_to_father_ids ids_to_terms ids_to_inner_types = | Cic.ACurrentProof (_, _, _, _, bo, ty, _, _) -> return_father id (mk_ids (ty :: bo :: inner_types)) | Cic.AConstant (_, _, _, None, ty, _, _) - | Cic.AVariable (_, _, None, ty, _, _) -> return_father id (mk_ids (ty::inner_types)) + | Cic.AVariable (_, _, None, ty, _, _) -> + return_father id (mk_ids (ty::inner_types)) | Cic.AInductiveDefinition _ -> assert false (* TODO *) -- 2.39.2