replica
/
diffblue-hw-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

avoid warning about get_literal

This commit is contained in:
Daniel Kroening 2013-10-01 16:26:47 +00:00
parent 257e30251e
commit cc3365b17a
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/trans/instantiate.cpp
View File

@ -42,6 +42,8 @@ public:
typedef boolbvt SUB; typedef boolbvt SUB;
// overloading // overloading
using boolbvt::get_literal;
virtual literalt convert_bool(const exprt &expr); virtual literalt convert_bool(const exprt &expr);
virtual literalt get_literal(const std::string &symbol, const unsigned bit); virtual literalt get_literal(const std::string &symbol, const unsigned bit);
virtual void convert_bitvector(const exprt &expr, bvt &bv); virtual void convert_bitvector(const exprt &expr, bvt &bv);
@ -289,6 +291,8 @@ public:
typedef boolbvt SUB; typedef boolbvt SUB;
// overloading // overloading
using boolbvt::get_literal;
virtual literalt convert_bool(const exprt &expr); virtual literalt convert_bool(const exprt &expr);
virtual literalt get_literal(const std::string &symbol, const unsigned bit); virtual literalt get_literal(const std::string &symbol, const unsigned bit);
virtual void convert_bitvector(const exprt &expr, bvt &bv); virtual void convert_bitvector(const exprt &expr, bvt &bv);