diff options
Diffstat (limited to 'src/opt/fxu/fxuSelect.c')
| -rw-r--r-- | src/opt/fxu/fxuSelect.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/fxu/fxuSelect.c b/src/opt/fxu/fxuSelect.c index c9945926..da55eb82 100644 --- a/src/opt/fxu/fxuSelect.c +++ b/src/opt/fxu/fxuSelect.c @@ -419,7 +419,7 @@ void Fxu_MatrixGetDoubleVars( Fxu_Matrix * p, Fxu_Double * pDouble, if ( pLit1 && pLit2 ) { if ( pLit1->iVar == pLit2->iVar ) - { // ensure cube-ABC_FREE + { // ensure cube-free pLit1 = pLit1->pHNext; pLit2 = pLit2->pHNext; } |