diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-22 11:01:26 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-22 11:01:26 +0700 |
commit | 5f77e7ae8fb6ed29812aa67514109d961a61c112 (patch) | |
tree | 6040ad8c52a3c39ab80ac795accd15e043f2c04e /src/base/pla/plaWrite.c | |
parent | 8095c2d1adc5af256108679917cc5e9591090489 (diff) | |
download | abc-5f77e7ae8fb6ed29812aa67514109d961a61c112.tar.gz abc-5f77e7ae8fb6ed29812aa67514109d961a61c112.tar.bz2 abc-5f77e7ae8fb6ed29812aa67514109d961a61c112.zip |
Bug fix in saving AIG attributes in &save and &load.
Diffstat (limited to 'src/base/pla/plaWrite.c')
0 files changed, 0 insertions, 0 deletions