From 443225ca8aedd69521dbd82be8a8d3ccf08f8a25 Mon Sep 17 00:00:00 2001
From: Owen Jones <owen.jones@diffblue.com>
Date: Thu, 4 May 2017 14:27:16 +0100
Subject: [PATCH] Clean up code

Instead of declaring new methods which call the methods in the base
class, use 'using expr2ct::convert;'.
---
 src/java_bytecode/expr2java.h | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/src/java_bytecode/expr2java.h b/src/java_bytecode/expr2java.h
index d7889dc73a6..151c8d95816 100644
--- a/src/java_bytecode/expr2java.h
+++ b/src/java_bytecode/expr2java.h
@@ -17,15 +17,7 @@ class expr2javat:public expr2ct
 public:
   explicit expr2javat(const namespacet &_ns):expr2ct(_ns) { }
 
-  virtual std::string convert(const exprt &src)
-  {
-    return expr2ct::convert(src);
-  }
-
-  virtual std::string convert(const typet &src)
-  {
-    return expr2ct::convert(src);
-  }
+  using expr2ct::convert;
 
 protected:
   virtual std::string convert(const exprt &src, unsigned &precedence);