(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)))