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

diff --git a/helm/fix_params/cic2Xml.ml b/helm/fix_params/cic2Xml.ml
index ea58eb382..0d433d64a 100644
--- a/helm/fix_params/cic2Xml.ml
+++ b/helm/fix_params/cic2Xml.ml
@@ -95,7 +95,6 @@ let print_term curi =
          >]
      | C.AConst (id,uri,_) ->
         X.xml_empty "CONST" ["uri", (U.string_of_uri uri) ; "id",id]
-     | C.AAbst (id,uri) -> raise NotImplemented
      | C.AMutInd (id,uri,_,i) ->
         X.xml_empty "MUTIND"
          ["uri", (U.string_of_uri uri) ;