diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-16 12:21:58 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-16 12:21:58 -0800 |
| commit | 5b4ef503bd660c1df7e1739d8f1502cb01341904 (patch) | |
| tree | 93b555bcfcfa440c0ce66cebb600f63a9f66a96c /src/misc/mvc/mvc.c | |
| parent | 9d02679ef74389e18479a732da2b55bc97c0de83 (diff) | |
| download | abc-5b4ef503bd660c1df7e1739d8f1502cb01341904.tar.gz abc-5b4ef503bd660c1df7e1739d8f1502cb01341904.tar.bz2 abc-5b4ef503bd660c1df7e1739d8f1502cb01341904.zip | |
Fixed Cudd_DumpDot() to not print leading zeros because of OS-dependent fprintf switch %p.
Diffstat (limited to 'src/misc/mvc/mvc.c')
0 files changed, 0 insertions, 0 deletions