diff --git a/src/ansi-c/c_typecheck_base.h b/src/ansi-c/c_typecheck_base.h
index 7c2d3b93473..197251fad21 100644
--- a/src/ansi-c/c_typecheck_base.h
+++ b/src/ansi-c/c_typecheck_base.h
@@ -199,7 +199,6 @@ class c_typecheck_baset:
   virtual void make_index_type(exprt &expr);
   virtual void make_constant(exprt &expr);
   virtual void make_constant_index(exprt &expr);
-  virtual void make_constant_rec(exprt &expr);
 
   virtual bool gcc_types_compatible_p(const typet &, const typet &);
 
diff --git a/src/ansi-c/c_typecheck_expr.cpp b/src/ansi-c/c_typecheck_expr.cpp
index 8860b632e7e..4c8b9e838fb 100644
--- a/src/ansi-c/c_typecheck_expr.cpp
+++ b/src/ansi-c/c_typecheck_expr.cpp
@@ -3451,7 +3451,6 @@ void c_typecheck_baset::typecheck_side_effect_assignment(
 
 void c_typecheck_baset::make_constant(exprt &expr)
 {
-  make_constant_rec(expr);
   simplify(expr, *this);
 
   if(!expr.is_constant() &&
@@ -3478,7 +3477,3 @@ void c_typecheck_baset::make_constant_index(exprt &expr)
     throw 0;
   }
 }
-
-void c_typecheck_baset::make_constant_rec(exprt &expr)
-{
-}