projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b494ee) | patch
Fix missing-override warning (#2811)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 19 Jan 2019 11:34:43 +0000 (03:34 -0800)
committerGitHub <noreply@github.com>
Sat, 19 Jan 2019 11:34:43 +0000 (03:34 -0800)
commitb4c9b783384fb05a3e71ff535b5f790e79c28a94
tree4294c32fe33f5bf2e4924264c711579ca0526c51tree
parent8b494ee2e856a0ddb5ea60a1a39340816ba0fc29commit | diff
Fix missing-override warning (#2811)

`TLazyBitblaster::setProofLog()` was defined even though the method was
not virtual before PR #2808 and `TBitblaster` was implementing the same
method. After that PR, which made the method virtual, GCC complained
about a missing `override` keyword for `setProofLog()`. However, the
method should have been removed (see
[comment](https://github.com/CVC4/CVC4/pull/2786#discussion_r247299617)).
This commit removes the function definition.
src/theory/bv/bitblast/lazy_bitblaster.cpp diff | blob | history
src/theory/bv/bitblast/lazy_bitblaster.h diff | blob | history