-
Sylvain Dailler authored
Formerly we only parsed elements of float values as decimals when they can be hexadecimal. * src/driver/parse_smtv2_model_lexer.mll (float_num): Now takes hexadecimal number instead of decimal numbers. Change-Id: Ie3c4e3452c7cb68af8767d2859bfbb4bb90e607e
3f4947b3