From fb512f0203a8415cbc54d3241f4cb9236bc821ee Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 22 Jun 2018 20:36:29 +0100
Subject: [PATCH] Remove unused paramter in cpp_typecheck_resolvet

---
 src/cpp/cpp_typecheck_resolve.cpp | 8 +++-----
 src/cpp/cpp_typecheck_resolve.h   | 2 --
 2 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/cpp/cpp_typecheck_resolve.cpp b/src/cpp/cpp_typecheck_resolve.cpp
index f18040f3dfb..5ceb5418416 100644
--- a/src/cpp/cpp_typecheck_resolve.cpp
+++ b/src/cpp/cpp_typecheck_resolve.cpp
@@ -37,7 +37,6 @@ cpp_typecheck_resolvet::cpp_typecheck_resolvet(cpp_typecheckt &_cpp_typecheck):
 
 void cpp_typecheck_resolvet::convert_identifiers(
   const cpp_scopest::id_sett &id_set,
-  const wantt want,
   const cpp_typecheck_fargst &fargs,
   resolve_identifierst &identifiers)
 {
@@ -47,7 +46,7 @@ void cpp_typecheck_resolvet::convert_identifiers(
       it++)
   {
     const cpp_idt &identifier=**it;
-    exprt e=convert_identifier(identifier, want, fargs);
+    exprt e=convert_identifier(identifier, fargs);
 
     if(e.is_not_nil())
     {
@@ -210,7 +209,6 @@ exprt cpp_typecheck_resolvet::convert_template_parameter(
 
 exprt cpp_typecheck_resolvet::convert_identifier(
   const cpp_idt &identifier,
-  const wantt want,
   const cpp_typecheck_fargst &fargs)
 {
   if(identifier.id_class==cpp_scopet::id_classt::TEMPLATE_PARAMETER)
@@ -1516,7 +1514,7 @@ exprt cpp_typecheck_resolvet::resolve(
     {
       // methods and functions
       convert_identifiers(
-        id_set, want, fargs, identifiers);
+        id_set, fargs, identifiers);
 
       apply_template_args(
         identifiers, template_args, fargs);
@@ -1525,7 +1523,7 @@ exprt cpp_typecheck_resolvet::resolve(
   else
   {
     convert_identifiers(
-      id_set, want, fargs, identifiers);
+      id_set, fargs, identifiers);
   }
 
   // change types into constructors if we want a constructor
diff --git a/src/cpp/cpp_typecheck_resolve.h b/src/cpp/cpp_typecheck_resolve.h
index a10e0c32ee5..0a8e6d4616a 100644
--- a/src/cpp/cpp_typecheck_resolve.h
+++ b/src/cpp/cpp_typecheck_resolve.h
@@ -49,7 +49,6 @@ class cpp_typecheck_resolvet
 
   void convert_identifiers(
     const cpp_scopest::id_sett &id_set,
-    const wantt want,
     const cpp_typecheck_fargst &fargs,
     resolve_identifierst &identifiers);
 
@@ -58,7 +57,6 @@ class cpp_typecheck_resolvet
 
   exprt convert_identifier(
     const cpp_idt &id,
-    const wantt want,
     const cpp_typecheck_fargst &fargs);
 
   void disambiguate_functions(