diff options
author | Bruno Schmitt <bruno@oschmitt.com> | 2017-02-06 19:50:57 -0800 |
---|---|---|
committer | Bruno Schmitt <bruno@oschmitt.com> | 2017-02-06 19:50:57 -0800 |
commit | 0fb4442a8208ccc36067db034c12a840095c0911 (patch) | |
tree | 7fb02a5678455845c04689976de230cad2d96f1c /src/base/abci | |
parent | cac3967b52ae44fae3962ee9eba456221e0efda3 (diff) | |
download | abc-0fb4442a8208ccc36067db034c12a840095c0911.tar.gz abc-0fb4442a8208ccc36067db034c12a840095c0911.tar.bz2 abc-0fb4442a8208ccc36067db034c12a840095c0911.zip |
Small changes to support old compilers.
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index efb82fcc..65974acb 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -23357,7 +23357,7 @@ int Abc_CommandSatoko( Abc_Frame_t * pAbc, int argc, char ** argv ) int status; satoko_parse_dimacs( pFileName, &p ); - satoko_configure(p, &opts); + satoko_configure(p, &opts); clk = Abc_Clock(); status = satoko_solve( p ); |