diff options
Diffstat (limited to 'src/sat/glucose/Vec.h')
| -rw-r--r-- | src/sat/glucose/Vec.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/glucose/Vec.h b/src/sat/glucose/Vec.h index 8db84a03..f44c65f0 100644 --- a/src/sat/glucose/Vec.h +++ b/src/sat/glucose/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(); } |