Remove extra factor of 4. (#458)

Co-authored-by: Mark Mitchell <[email protected]>
SRI-CSL · Sep 26, 2023 · c5d5753 · c5d5753
1 parent 6d4c28e
commit c5d5753
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mcsat/bv/explain/arith_norm.c b/src/mcsat/bv/explain/arith_norm.c
@@ -796,7 +796,7 @@ term_t arith_normalise_upto(arith_norm_t* norm, term_t u, uint32_t w){
 
     term_t *preproc[4];
     for (int i = 0; i < 4; i ++)
-      preproc[i] = (term_t *) safe_malloc(4 * w * sizeof(term_t));
+      preproc[i] = (term_t *) safe_malloc(w * sizeof(term_t));
 
     // We initialise the hashmap
     fix_htbl_init(preproc[0], w);