Abst removed from the DTD.

[helm.git] / helm / ocaml / cic / deannotate.ml

diff --git a/helm/ocaml/cic/deannotate.ml b/helm/ocaml/cic/deannotate.ml
index 27ea5b3b7335779eed38a17bb6dc8ee65d57c3e3..ec98b9774214bd6b684f42813711225812ad77ec 100644 (file)
--- a/helm/ocaml/cic/deannotate.ml
+++ b/helm/ocaml/cic/deannotate.ml
@@ -53,7 +53,6 @@ let rec deannotate_term =
       C.LetIn (name, deannotate_term so, deannotate_term ta)
    | C.AAppl (_,l) -> C.Appl (List.map deannotate_term l)
    | C.AConst (_,uri, cookingsno) -> C.Const (uri, cookingsno)
-   | C.AAbst (_,uri) -> C.Abst uri
    | C.AMutInd (_,uri,cookingsno,i) -> C.MutInd (uri,cookingsno,i)
    | C.AMutConstruct (_,uri,cookingsno,i,j) ->
       C.MutConstruct (uri,cookingsno,i,j)