diff options
| author | Nathan Zhou <zzhou612@gmail.com> | 2018-11-30 16:59:25 +0800 |
|---|---|---|
| committer | Nathan Zhou <zzhou612@gmail.com> | 2018-11-30 16:59:25 +0800 |
| commit | 39ff80c0b3aa1d7df067a33296f226118ea522c2 (patch) | |
| tree | f67f9ec9a1dcf4a2f728aded6c9144828e5a87bb /src/proof/ssc/sscUtil.c | |
| parent | 5aa3025ce7264a172a070a78d7b7db0cd1fca3f0 (diff) | |
| download | abc-39ff80c0b3aa1d7df067a33296f226118ea522c2.tar.gz abc-39ff80c0b3aa1d7df067a33296f226118ea522c2.tar.bz2 abc-39ff80c0b3aa1d7df067a33296f226118ea522c2.zip | |
fix: header <malloc.h> is depreciated
Diffstat (limited to 'src/proof/ssc/sscUtil.c')
0 files changed, 0 insertions, 0 deletions