ATR-22854: remove SMT_discriminant
The SMT_discriminant variable shouldn't be used anywhere any more. It was causing some warnings, though, because some algorithms were still expecting to find it.
The SMT_discriminant variable shouldn't be used anywhere any more. It was causing some warnings, though, because some algorithms were still expecting to find it.