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.