diff --git a/sw/tools/gen_airframe.ml b/sw/tools/gen_airframe.ml index 388033d648..8f656bbe4e 100644 --- a/sw/tools/gen_airframe.ml +++ b/sw/tools/gen_airframe.ml @@ -101,11 +101,13 @@ let parse_element = fun prefix s -> match Xml.tag s with "define" -> begin try - try - let value = (ExtXml.float_attrib s "value") *. (code_unit_scale_of_tag s) in - define (prefix^ExtXml.attrib s "name") (string_of_float value); - with - _ -> define (prefix^ExtXml.attrib s "name") (ExtXml.display_entities (ExtXml.attrib s "value")); + begin + try + let value = (ExtXml.float_attrib s "value") *. (code_unit_scale_of_tag s) in + define (prefix^ExtXml.attrib s "name") (string_of_float value); + with + _ -> define (prefix^ExtXml.attrib s "name") (ExtXml.display_entities (ExtXml.attrib s "value")); + end; define_integer (prefix^(ExtXml.attrib s "name")) (ExtXml.float_attrib s "value") (ExtXml.int_attrib s "integer"); with _ -> (); end