diff options
Diffstat (limited to 'otherlibs/bigarray/bigarray_stubs.c')
| -rw-r--r-- | otherlibs/bigarray/bigarray_stubs.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/bigarray/bigarray_stubs.c b/otherlibs/bigarray/bigarray_stubs.c index 7021af1f3a..23b772c608 100644 --- a/otherlibs/bigarray/bigarray_stubs.c +++ b/otherlibs/bigarray/bigarray_stubs.c @@ -121,6 +121,7 @@ caml_ba_multov(uintnat a, uintnat b, int * overflow) if (p < p1 || p1 < p2) *overflow = 1; /* overflow in sums */ return p; #undef HALF_SIZE +#undef HALF_MASK #undef LOW_HALF #undef HIGH_HALF } |