diff options
Diffstat (limited to 'Binaries/DafnyRuntime.cs')
-rw-r--r-- | Binaries/DafnyRuntime.cs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Binaries/DafnyRuntime.cs b/Binaries/DafnyRuntime.cs index 3002d832..587d5159 100644 --- a/Binaries/DafnyRuntime.cs +++ b/Binaries/DafnyRuntime.cs @@ -1253,13 +1253,13 @@ namespace Dafny int asign = this.num.Sign; int bsign = that.num.Sign; if (asign < 0 && 0 <= bsign) { - return 1; + return -1; } else if (asign <= 0 && 0 < bsign) { - return 1; - } else if (bsign < 0 && 0 <= asign) { return -1; + } else if (bsign < 0 && 0 <= asign) { + return 1; } else if (bsign <= 0 && 0 < asign) { - return -1; + return 1; } BigInteger aa, bb, dd; Normalize(this, that, out aa, out bb, out dd); |