From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Sep 2005 13:25:46 +0000 (+0000)
Subject: cosmetic changes
X-Git-Tag: V_0_1_2_1~20
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4ccb69a58caed6f5da5b64abaf9f65c7a38f8cc3;p=helm.git

cosmetic changes
---

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 *)