diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-01 14:07:42 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-01 14:07:42 -0700 |
| commit | 64e2ee223bd6ae2b5950c08e3b1e7c22979509c5 (patch) | |
| tree | b1af10c6f300909aaad3c521c838aa9274f93643 /src/sat | |
| parent | 9065da818941483a8902f945a9c0f6c50de9dcc2 (diff) | |
| download | abc-64e2ee223bd6ae2b5950c08e3b1e7c22979509c5.tar.gz abc-64e2ee223bd6ae2b5950c08e3b1e7c22979509c5.tar.bz2 abc-64e2ee223bd6ae2b5950c08e3b1e7c22979509c5.zip | |
Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem on some platforms.
Diffstat (limited to 'src/sat')
0 files changed, 0 insertions, 0 deletions