diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-05-02 05:04:36 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-05-02 05:04:36 +0000 |
commit | 99c42d62491307279403059690fa31be1fb3af63 (patch) | |
tree | 8f8a40a893e1a59e28015201f907e2cecede3294 /src/util/dynamic_array.h | |
parent | bf837ea666980a0556d7881316f34be7ad1e2ea2 (diff) |
Minor fixes to various parts of CVC4, including the removal of the uintptr_t constructors for Type and Expr (which existed due to ANTLR limitations). These issues are now handled (as a hack, due to said limitations) in the parser rather than the CVC4 core.
Diffstat (limited to 'src/util/dynamic_array.h')
-rw-r--r-- | src/util/dynamic_array.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/dynamic_array.h b/src/util/dynamic_array.h index c1298500e..c0a8cf260 100644 --- a/src/util/dynamic_array.h +++ b/src/util/dynamic_array.h @@ -38,7 +38,7 @@ private: void grow(){ bool empty = (d_arr == NULL); - d_allocated = empty ? d_allocated = 15 : d_allocated * 2 + 1; + d_allocated = empty ? 15 : d_allocated * 2 + 1; unsigned allocSize = sizeof(T) * d_allocated; T* tmpList = (T*) (empty ? malloc(allocSize) :realloc(d_arr, allocSize)); if(tmpList == NULL) { |