summaryrefslogtreecommitdiffstats
path: root/lib.c
diff options
context:
space:
mode:
Diffstat (limited to 'lib.c')
-rw-r--r--lib.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib.c b/lib.c
index c1d27c97..1076bb2c 100644
--- a/lib.c
+++ b/lib.c
@@ -733,7 +733,7 @@ val plus(val anum, val bnum)
cnum b = c_num(bnum);
numeric_assert (a <= 0 || b <= 0 || NUM_MAX - b >= a);
- numeric_assert (a >= 0 || b >= 0 || NUM_MIN - b >= a);
+ numeric_assert (a >= 0 || b >= 0 || NUM_MIN - b <= a);
return num(a + b);
}
@@ -745,7 +745,7 @@ val minus(val anum, val bnum)
numeric_assert (b != NUM_MIN || NUM_MIN == -NUM_MAX);
numeric_assert (a <= 0 || -b <= 0 || NUM_MAX + b >= a);
- numeric_assert (a >= 0 || -b >= 0 || NUM_MIN + b >= a);
+ numeric_assert (a >= 0 || -b >= 0 || NUM_MIN + b <= a);
return num(a - b);
}