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

fix(library/blast/forward/qcf): compilation warning

Browse source
This commit is contained in:
Leonardo de Moura 2015-12-02 18:14:32 -07:00
parent a83a7f8356
commit af9180b35c
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/forward/qcf.cpp
View file

@ -19,7 +19,7 @@ Author: Daniel Selsam
namespace lean {
namespace blast {
action_result qfc_action(list<gexpr> const & lemmas) {
action_result qfc_action(list<gexpr> const &) {
return action_result::failed();
}