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)
Use C++11 final/override/[[noreturn]]

1  2 
passes/sat/cutpoint.cc

Simple merge