X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicParser.ml;h=a7ad3c9cf1f88c8cc56cfdadad7c119c3098bc45;hb=771ee8b9d122fa963881c876e86f90531bb7434f;hp=68f1257d1557c3933caaf80825552b0e411834c9;hpb=cf3635c0830661f59d16339cd7fc9c3b948fcbc8;p=helm.git

diff --git a/helm/ocaml/cic/cicParser.ml b/helm/ocaml/cic/cicParser.ml
index 68f1257d1..a7ad3c9cf 100644
--- a/helm/ocaml/cic/cicParser.ml
+++ b/helm/ocaml/cic/cicParser.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let debug = false
 let debug_print s = if debug then prerr_endline (Lazy.force s)
 
@@ -769,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)))