Revision e49b6d55 - nice bug correction wrt constants with a large number of digits. Would raise ... - LustreC

« Previous | Next »

Revision e49b6d55

Added by Xavier Thirioux almost 8 years ago

ID e49b6d558bffde6a44641d156603b4a6e1cf013d
Parent 301f18e6
Child 5695b3d4, 80f93e0a, 52c5ba00

nice bug correction wrt constants with a large number of digits. Would raise exception when comparing these constants

added
modified
copied
renamed
deleted

src
- corelang.ml (diff)
- normalization.ml (diff)