X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_annotations%2FcicAnnotation2Xml.ml;h=1961a2bc2c726ddd7c920729bd2998e6d7ea003d;hb=b1fb6b8e1767d775bc452303629e95941d142bea;hp=7ea0b7b6309937574d1cae19e93d9345928aed46;hpb=b57c31a1593872c181249135bc05ebd9a72f523b;p=helm.git

diff --git a/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml b/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
index 7ea0b7b63..1961a2bc2 100644
--- a/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
+++ b/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
@@ -64,7 +64,6 @@ let print_term i2a =
            List.fold_right (fun x i -> [< (aux x) ; i >]) li [<>]
         >]
      | C.AConst (id,_,_) -> print_ann i2a id
-     | C.AAbst (id,_) -> raise NotImplemented
      | C.AMutInd (id,_,_,_) -> print_ann i2a id
      | C.AMutConstruct (id,_,_,_,_) -> print_ann i2a id
      | C.AMutCase (id,_,_,_,ty,te,patterns) ->