summaryrefslogtreecommitdiff
path: root/Source/DafnyDriver
diff options
context:
space:
mode:
authorGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2015-06-07 02:22:02 -0700
committerGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2015-06-07 02:22:02 -0700
commit1e9a9af1700f67dde62e8ceb81aa16e13de0e3fb (patch)
tree11865312bfb5cefd285fc4504153da618f700376 /Source/DafnyDriver
parenta74ff7e873f3db35baf590c8221c2f460b49d07b (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