Merge pull request #2173 from whitequark/use-cxx11-final-override
authorwhitequark <whitequark@whitequark.org>
Fri, 19 Jun 2020 06:15:33 +0000 (06:15 +0000)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 06:15:33 +0000 (06:15 +0000)
commitede4b10da8fdbdcff900b93c6c723516901483ff
treed949c995f56d6c07dfe7d18ca46547a3296079b6
parentbcbd44c673e07c44da735ef1d7f6eb2b6c328f98
parent60478a8e3a7b929ea7e4f4cd1b538b41ca1f34bb
Merge pull request #2173 from whitequark/use-cxx11-final-override

Use C++11 final/override/[[noreturn]]
passes/sat/cutpoint.cc