From 63c43487836c85e7831c4b867723cf602ceb8b1b Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 12 Jun 2002 16:12:34 +0000
Subject: [PATCH] * syntax error fixed * IT DOESN'T COMPILE!!!   It must still
 be ported to the new Meta. I don't do it yet because   this module should
 disappear when the new exportation module will be   available.

---
 helm/fix_params/cic2Xml.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/helm/fix_params/cic2Xml.ml b/helm/fix_params/cic2Xml.ml
index 2a9907264..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.AMutInd (id,uri,_,i) ->
      | C.AMutInd (id,uri,_,i) ->
         X.xml_empty "MUTIND"
          ["uri", (U.string_of_uri uri) ;
-- 
2.39.2