diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-06-07 02:22:02 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-06-07 02:22:02 -0700 |
commit | 1e9a9af1700f67dde62e8ceb81aa16e13de0e3fb (patch) | |
tree | 11865312bfb5cefd285fc4504153da618f700376 /Source/DafnyDriver | |
parent | a74ff7e873f3db35baf590c8221c2f460b49d07b (diff) |
Add a compatibility layer over BigInteger.Parse
Mono currently does not implement support for BigInteger.Parse, so use Int64 if
possible, and throw the same error as was previously returned otherwise. This is
not too much of a problem in practice, because most of the integers that we
actually come across in real-life source files seem to fit in an Int64.
Diffstat (limited to 'Source/DafnyDriver')
0 files changed, 0 insertions, 0 deletions