diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-15 18:23:49 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-15 18:23:49 -0700 |
| commit | ff5d3591d1e7d90199d7395cde9fc6d902ed4b41 (patch) | |
| tree | 26a2307c387d50bcd1a01e007bfe370ca8a5a9e3 /src/base/abci/abc.c | |
| parent | d1fed2dd89bc0549655f8375832628b18b35edd9 (diff) | |
| download | abc-ff5d3591d1e7d90199d7395cde9fc6d902ed4b41.tar.gz abc-ff5d3591d1e7d90199d7395cde9fc6d902ed4b41.tar.bz2 abc-ff5d3591d1e7d90199d7395cde9fc6d902ed4b41.zip | |
Infrastructure to support full Liberty format and unitification of library representations.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index c8918e90..c3c8925f 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -990,6 +990,10 @@ void Abc_Init( Abc_Frame_t * pAbc ) if ( Sdm_ManCanRead() ) Sdm_ManRead(); + { +// extern void Scl_LibertyTest(); +// Scl_LibertyTest(); + } } /**Function************************************************************* |