diff options
Diffstat (limited to 'src/opt/fxu/fxu.c')
| -rw-r--r-- | src/opt/fxu/fxu.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/fxu/fxu.c b/src/opt/fxu/fxu.c index c6fb5796..0095abf9 100644 --- a/src/opt/fxu/fxu.c +++ b/src/opt/fxu/fxu.c @@ -47,7 +47,7 @@ static int s_MemoryPeak; The entries corresponding to the PI and objects with trivial covers are NULL. The number of extracted covers (not exceeding p->nNodesExt) is returned. Two other things are important for the correct operation of this procedure: - (1) The input covers do not have duplicated fanins and are SCC-ABC_FREE. + (1) The input covers do not have duplicated fanins and are SCC-free. (2) The fanins array contains the numbers of the fanin objects.] SideEffects [] |