michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(library/blast/blast): compilation warning on OSX

Browse source
This commit is contained in:
Leonardo de Moura 2016-02-05 13:02:02 -08:00
parent 6c1c6cbbdd
commit 668758c44e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/blast/blast.cpp
View file

@ -273,7 +273,7 @@ class blastenv {
m_stack.pop_back();
}
virtual unsigned get_num_check_points() const {
virtual unsigned get_num_check_points() const override {
return m_stack.size();
}