X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FlogicalOperations.ml;fp=helm%2FgTopLevel%2FlogicalOperations.ml;h=074e66c806da7ece2f4e1735603b3bc7378ee594;hb=7e60b896247a228beea1b2a547c1f606e1834921;hp=a9274fba6cb0a4035719dfb9d18033a3ded93af9;hpb=c929e791b0eca1e75694a663a2f6ada9f0ff9534;p=helm.git

diff --git a/helm/gTopLevel/logicalOperations.ml b/helm/gTopLevel/logicalOperations.ml
index a9274fba6..074e66c80 100644
--- a/helm/gTopLevel/logicalOperations.ml
+++ b/helm/gTopLevel/logicalOperations.ml
@@ -27,7 +27,6 @@ let get_context ids_to_terms ids_to_father_ids =
          | C.LetIn _ -> []
          | C.Appl _
          | C.Const _ -> []
-         | C.Abst _ -> assert false
          | C.MutInd _
          | C.MutConstruct _
          | C.MutCase _ -> []