Merge 9f3cc35 into 6d4c28e

SRI-CSL · Sep 26, 2023 · 2e51d8f · 2e51d8f
2 parents 6d4c28e + 9f3cc35
commit 2e51d8f
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);