diff options
Diffstat (limited to 'Binaries/DafnyRuntime.cs')
| -rw-r--r-- | Binaries/DafnyRuntime.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Binaries/DafnyRuntime.cs b/Binaries/DafnyRuntime.cs index 83e0563b..dbeb6d0f 100644 --- a/Binaries/DafnyRuntime.cs +++ b/Binaries/DafnyRuntime.cs @@ -703,10 +703,10 @@ namespace Dafny // pre: b != 0
// post: result == a%b, as defined by Euclidean Division (http://en.wikipedia.org/wiki/Modulo_operation)
public static sbyte EuclideanModulus_sbyte(sbyte a, sbyte b) {
- return (sbyte)EuclideanModulus(a, b);
+ return (sbyte)EuclideanModulus_int(a, b);
}
public static short EuclideanModulus_short(short a, short b) {
- return (short)EuclideanModulus(a, b);
+ return (short)EuclideanModulus_int(a, b);
}
public static int EuclideanModulus_int(int a, int b) {
uint bp = (0 <= b) ? (uint)b : (uint)(unchecked(-b));
|