* 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.

diff --git a/helm/fix_params/cic2Xml.ml b/helm/fix_params/cic2Xml.ml
index 2a99072640fa6033c534c6ca63ae232b69425fcf..0d433d64add316b6cbf16bde494f8ec8e93a3be6 100644 (file)
--- 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) ;