diff options
Diffstat (limited to 'Dafny/Printer.ssc')
-rw-r--r-- | Dafny/Printer.ssc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Dafny/Printer.ssc b/Dafny/Printer.ssc index d676c942..d0a6b3c9 100644 --- a/Dafny/Printer.ssc +++ b/Dafny/Printer.ssc @@ -7,6 +7,7 @@ using System; using System.IO;
using System.Collections.Generic;
using Microsoft.Contracts;
+using System.Numerics;
using Bpl = Microsoft.Boogie;
namespace Microsoft.Dafny {
@@ -503,7 +504,7 @@ namespace Microsoft.Dafny { } else if (e.Value is bool) {
wr.Write((bool)e.Value ? "true" : "false");
} else {
- wr.Write((int)e.Value);
+ wr.Write((BigInteger)e.Value);
}
} else if (expr is ThisExpr) {
|