X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Ffix_params%2FcicFindParameters.ml;h=c78d8d21907e622fc1c7fd89fc1f4d131968b858;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=f746751553d4970950f111e476864cde0bcc248c;hpb=f6e4a271838bc59f3b22e68a282dc995776360cb;p=helm.git

diff --git a/helm/fix_params/cicFindParameters.ml b/helm/fix_params/cicFindParameters.ml
index f74675155..c78d8d219 100644
--- a/helm/fix_params/cicFindParameters.ml
+++ b/helm/fix_params/cicFindParameters.ml
@@ -86,7 +86,6 @@ let rec parameters_of te ty pparams=
           | C.CurrentProof _ -> S.empty (*CSC wrong *)
           | _ -> raise WrongUriToConstant
         )
-     | C.Abst _ -> S.empty
      | C.MutInd (uri,_,_) ->
         (match CicCache.get_obj uri with
             C.InductiveDefinition (_, params, _) ->