X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_refiner%2FoMeta2nMeta.ml;h=95d002c556e4661789949c86f78039fb32c8a67a;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=4993e482a515c9e41626e6cc78ae6c48b437b4cf;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git diff --git a/matita/components/ng_refiner/oMeta2nMeta.ml b/matita/components/ng_refiner/oMeta2nMeta.ml index 4993e482a..95d002c55 100644 --- 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 ;;