diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-06 22:34:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-06 22:34:45 -0700 |
| commit | 8ef44045420766b66aed22e1d4ed9ce3cd16906a (patch) | |
| tree | 9aebad7011faa95e01e346efc49dfea738d4e7d0 /src/base | |
| parent | 4b4646283fef561671191949cfb7149d87e06696 (diff) | |
| download | abc-8ef44045420766b66aed22e1d4ed9ce3cd16906a.tar.gz abc-8ef44045420766b66aed22e1d4ed9ce3cd16906a.tar.bz2 abc-8ef44045420766b66aed22e1d4ed9ce3cd16906a.zip | |
Verifying new resub code.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 2f924747..ff288dc3 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -48059,6 +48059,7 @@ usage: ***********************************************************************/ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv ) { + extern void Gia_RsbEnumerateWindows( Gia_Man_t * p, int nInputsMax, int nLevelsMax ); int c, fVerbose = 0; int nFrames = 5; int fSwitch = 0; |