diff options
Diffstat (limited to 'src/map/mpm/mpmCore.c')
-rw-r--r-- | src/map/mpm/mpmCore.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/mpm/mpmCore.c b/src/map/mpm/mpmCore.c index a6edba8f..3bb0eeb2 100644 --- a/src/map/mpm/mpmCore.c +++ b/src/map/mpm/mpmCore.c @@ -54,6 +54,7 @@ void Mpm_ManSetParsDefault( Mpm_Par_t * p ) p->DelayTarget = -1; // delay target p->fDeriveLuts = 0; // use truth tables to derive AIG structure p->fVerbose = 0; // verbose output + p->fVeryVerbose = 0; // verbose output } /**Function************************************************************* |