From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 12 Jun 2002 16:07:05 +0000 (+0000)
Subject: * Abst removed from the DTD
X-Git-Tag: V_0_3_0_debian_8~48
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6eae299f77793d89079a24bb8eaa50c5041ae4a7;p=helm.git

* Abst removed from the DTD
---

diff --git a/helm/fix_params/cic2Xml.ml b/helm/fix_params/cic2Xml.ml
index ea58eb382..2a9907264 100644
--- a/helm/fix_params/cic2Xml.ml
+++ b/helm/fix_params/cic2Xml.ml
@@ -95,7 +95,7 @@ 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) ->
      | C.AMutInd (id,uri,_,i) ->
         X.xml_empty "MUTIND"
          ["uri", (U.string_of_uri uri) ;
diff --git a/helm/fix_params/cicFindParameters.ml b/helm/fix_params/cicFindParameters.ml
index f74675155..c78d8d219 100644
--- a/helm/fix_params/cicFindParameters.ml
+++ b/helm/fix_params/cicFindParameters.ml
@@ -86,7 +86,6 @@ let rec parameters_of te ty pparams=
           | C.CurrentProof _ -> S.empty (*CSC wrong *)
           | _ -> raise WrongUriToConstant
         )
-     | C.Abst _ -> S.empty
      | C.MutInd (uri,_,_) ->
         (match CicCache.get_obj uri with
             C.InductiveDefinition (_, params, _) ->
diff --git a/helm/metadata/create2/mk_forward/mk_forward.ml b/helm/metadata/create2/mk_forward/mk_forward.ml
index 7880b07b6..e97ed3347 100644
--- a/helm/metadata/create2/mk_forward/mk_forward.ml
+++ b/helm/metadata/create2/mk_forward/mk_forward.ml
@@ -207,7 +207,6 @@ let process_type term =
     | C.Appl _ -> assert false
     | C.Const (uri,_) ->
        UriHash.add_uri (U.string_of_uri uri) kind
-    | C.Abst _ -> assert false
     | C.MutInd (uri,_,typeno) ->
        H.add_uri
         (U.string_of_uri uri ^ "#xpointer(1/" ^
@@ -267,7 +266,6 @@ let process_body =
        List.iter process_body_aux l
     | C.Const (uri,_) ->
        UriHash.add_uri (U.string_of_uri uri) H.InBody
-    | C.Abst _ -> assert false
     | C.MutInd (uri,_,typeno) ->
        H.add_uri
         (U.string_of_uri uri ^ "#xpointer(1/" ^