From cc3365b17a670c891dd232700c99f0c142dc8f99 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 1 Oct 2013 16:26:47 +0000 Subject: [PATCH] avoid warning about get_literal --- src/trans/instantiate.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/trans/instantiate.cpp b/src/trans/instantiate.cpp index 06f6f56..37a19a9 100644 --- a/src/trans/instantiate.cpp +++ b/src/trans/instantiate.cpp @@ -42,6 +42,8 @@ public: typedef boolbvt SUB; // overloading + using boolbvt::get_literal; + virtual literalt convert_bool(const exprt &expr); virtual literalt get_literal(const std::string &symbol, const unsigned bit); virtual void convert_bitvector(const exprt &expr, bvt &bv); @@ -289,6 +291,8 @@ public: typedef boolbvt SUB; // overloading + using boolbvt::get_literal; + virtual literalt convert_bool(const exprt &expr); virtual literalt get_literal(const std::string &symbol, const unsigned bit); virtual void convert_bitvector(const exprt &expr, bvt &bv);