Use of standard OCaml syntax

[helm.git] / matita / components / ng_refiner / oMeta2nMeta.ml

diff --git a/matita/components/ng_refiner/oMeta2nMeta.ml b/matita/components/ng_refiner/oMeta2nMeta.ml
index 4993e482a515c9e41626e6cc78ae6c48b437b4cf..95d002c556e4661789949c86f78039fb32c8a67a 100644 (file)
--- a/matita/components/ng_refiner/oMeta2nMeta.ml
+++ b/matita/components/ng_refiner/oMeta2nMeta.ml
@@ -3,8 +3,6 @@ let convert_metasenv uri =
     List.fold_left
       (fun (nm,fty) (i, ctx, ty) ->
          let new_ty, fix_ty = OCic2NCic.convert_term uri ty in
-
-  in
   assert (fixpoints = []);
   new_metasenv
 ;;