diff options
Diffstat (limited to 'src/aig/dch/dchSat.c')
| -rw-r--r-- | src/aig/dch/dchSat.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/dch/dchSat.c b/src/aig/dch/dchSat.c index 6966e635..f5e346ef 100644 --- a/src/aig/dch/dchSat.c +++ b/src/aig/dch/dchSat.c @@ -20,6 +20,9 @@ #include "dchInt.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -159,3 +162,5 @@ p->timeSatUndec += clock() - clk; //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |