X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FcicAst.mli;h=89f8907fa32fe45648996bffc44146697a147a11;hb=94818c0bb29820bdf276faa8e515b284c8df0c40;hp=6bb67af227b5c96edb87ea3ea873bd5ece63dd81;hpb=714376413f68dad720d6253b1f36209d8d096443;p=helm.git

diff --git a/helm/ocaml/cic_transformations/cicAst.mli b/helm/ocaml/cic_transformations/cicAst.mli
index 6bb67af22..89f8907fa 100644
--- a/helm/ocaml/cic_transformations/cicAst.mli
+++ b/helm/ocaml/cic_transformations/cicAst.mli
@@ -51,7 +51,6 @@ type term_attribute =
 
 type term =
   | AttributedTerm of term_attribute * term
-
   | Appl of term list
   | Binder of binder_kind * capture_variable * term (* kind, name, body *)
   | Case of term * string option * term option * (case_pattern * term) list