ATR-22854: remove SMT_discriminant (!40859) · Merge requests · atlas / athena

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

Dan Guest requested to merge dguest/athena:b-tag-fix-for-ATR-22854 into master Feb 19, 2021

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.

Admin message

ATR-22854: remove SMT_discriminant

Merge request reports