From f7678e750c4a8551475d4538b824e328f523c564 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 27 Jan 2006 16:37:59 +0000 Subject: [PATCH] Big bug fixed: attributes of constants were forgot during parsing! --- helm/ocaml/cic/cicParser.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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))) -- 2.39.2