cosmetic changes

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index 586ff14796938f4c82b2ccd5ec6837c06f6ef2e0..b2708fe298b86cd71627c9da7afae88a8be5ead3 100644 (file)
--- 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 *)