diff options
Diffstat (limited to 'src/map/if/if.h')
-rw-r--r-- | src/map/if/if.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 6525a4d6..5bcdb110 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -192,7 +192,6 @@ struct If_Man_t_ int fNextRound; // set to 1 after the first round int nChoices; // the number of choice nodes Vec_Int_t * vSwitching; // switching activity of each node -// Vec_Int_t ** pDriverCuts; // temporary driver cuts int pPerm[3][IF_MAX_LUTSIZE]; // permutations unsigned uSharedMask; // mask of shared variables int nShared; // the number of shared variables |