From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 27 Jan 2006 16:37:59 +0000 (+0000)
Subject: Big bug fixed: attributes of constants were forgot during parsing!
X-Git-Tag: make_still_working~7748
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f7678e750c4a8551475d4538b824e328f523c564;p=helm.git

Big bug fixed: attributes of constants were forgot during parsing!
---

diff --git a/helm/ocaml/cic/cicParser.ml b/helm/ocaml/cic/cicParser.ml
index 317bcb9f0..a7ad3c9cf 100644
--- a/helm/ocaml/cic/cicParser.ml
+++ b/helm/ocaml/cic/cicParser.ml
@@ -771,7 +771,7 @@ let annobj_of_xml uri filename filenamebody =
       (match parse uri filename, parse uri filenamebody with
       | Cic_constant_type (type_id, name, params, typ, obj_attributes),
         Cic_constant_body (body_id, _, _, body, _) ->
-          Cic.AConstant (type_id, Some body_id, name, Some body, typ, params,[])
+          Cic.AConstant (type_id, Some body_id, name, Some body, typ, params,obj_attributes)
       | _ ->
           raise (Parser_failure (sprintf "no constant found in %s, %s"
             filename filenamebody)))