summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat2/Vec.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/sat/bsat2/Vec.h')
-rw-r--r--src/sat/bsat2/Vec.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat2/Vec.h b/src/sat/bsat2/Vec.h
index bb293ade..f0e07d01 100644
--- a/src/sat/bsat2/Vec.h
+++ b/src/sat/bsat2/Vec.h
@@ -96,7 +96,7 @@ template<class T>
void vec<T>::capacity(int min_cap) {
if (cap >= min_cap) return;
int add = imax((min_cap - cap + 1) & ~1, ((cap >> 1) + 2) & ~1); // NOTE: grow by approximately 3/2
- if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
+ if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
throw OutOfMemoryException();
}