diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-23 07:31:54 -1000 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-23 07:31:54 -1000 |
| commit | d4fb192575cd319de68764eac5b7e049f575f43e (patch) | |
| tree | 059fbc2e3bb19227f6f4271a27dbc4f3fcbd03c0 /src/aig/gia/giaResub2.c | |
| parent | 22f36299aa6597cb5716bb73e94f56cd8f74ca04 (diff) | |
| download | abc-d4fb192575cd319de68764eac5b7e049f575f43e.tar.gz abc-d4fb192575cd319de68764eac5b7e049f575f43e.tar.bz2 abc-d4fb192575cd319de68764eac5b7e049f575f43e.zip | |
Renaming one command.
Diffstat (limited to 'src/aig/gia/giaResub2.c')
0 files changed, 0 insertions, 0 deletions