diff options
| author | Quentin Carbonneaux <[email protected]> | 2016-08-14 21:57:27 -0700 |
|---|---|---|
| committer | Quentin Carbonneaux <[email protected]> | 2016-08-15 22:55:08 -0700 |
| commit | 3f8af2ba7b8f79bd577ca4f2fef5fb922494042d (patch) | |
| tree | a24214b9ad4e601182cf75e947893c0f93367ef3 /fold.c | |
| parent | 5ad8a2c6fe90554bb6ad425597be732328fe0e41 (diff) | |
specify the allocation function in vnew
Diffstat (limited to 'fold.c')
| -rw-r--r-- | fold.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -193,7 +193,7 @@ fold(Fn *fn) val = emalloc(fn->ntmp * sizeof val[0]); edge = emalloc(fn->nblk * sizeof edge[0]); - usewrk = vnew(0, sizeof usewrk[0]); + usewrk = vnew(0, sizeof usewrk[0], emalloc); for (n=0; n<fn->ntmp; n++) val[n] = Top; @@ -314,6 +314,7 @@ fold(Fn *fn) free(val); free(edge); + vfree(usewrk); } /* boring folding code */ |
