* Abst removed from the DTD

[helm.git] / helm / gTopLevel / logicalOperations.ml

diff --git a/helm/gTopLevel/logicalOperations.ml b/helm/gTopLevel/logicalOperations.ml
index a9274fba6cb0a4035719dfb9d18033a3ded93af9..074e66c806da7ece2f4e1735603b3bc7378ee594 100644 (file)
--- 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 _ -> []