diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 7767f596c..0d8aae241 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -28,7 +28,7 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -#define USE4VARS 1 +//#define USE4VARS 1 //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -47,7 +47,7 @@ ABC_NAMESPACE_IMPL_START ***********************************************************************/ void Dau_TruthEnum() { - int fUseTable = 1; + int fUseTable = 0; abctime clk = Abc_Clock(); #ifdef USE4VARS int nVars = 4;