diff options
Diffstat (limited to 'src/opt/rwr/rwrExp.c')
| -rw-r--r-- | src/opt/rwr/rwrExp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/rwr/rwrExp.c b/src/opt/rwr/rwrExp.c index a5c355a9..e93a2611 100644 --- a/src/opt/rwr/rwrExp.c +++ b/src/opt/rwr/rwrExp.c @@ -69,7 +69,7 @@ void Rwt_Man4ExploreStart() // canonical forms p->nFuncs = (1<<16); // canonical forms, phases, perms - Extra_Truth4VarNPN( &p->puCanons, NULL, NULL ); + Extra_Truth4VarNPN( &p->puCanons, NULL, NULL, NULL ); // counters p->pnCounts = ALLOC( int, p->nFuncs ); memset( p->pnCounts, 0, sizeof(int) * p->nFuncs ); |