diff --git a/src/cbmc/fault_localization.cpp b/src/cbmc/fault_localization.cpp
index 1c8a6741f65..2fcc888f46c 100644
--- a/src/cbmc/fault_localization.cpp
+++ b/src/cbmc/fault_localization.cpp
@@ -104,8 +104,7 @@ bool fault_localizationt::check(const lpointst &lpoints,
   return true;
 }
 
-void fault_localizationt::update_scores(lpointst &lpoints,
-                                        const lpoints_valuet &value)
+void fault_localizationt::update_scores(lpointst &lpoints)
 {
   for(auto &l : lpoints)
   {
@@ -131,10 +130,10 @@ void fault_localizationt::localize_linear(lpointst &lpoints)
   {
     v[i]=tvt(tvt::tv_enumt::TV_TRUE);
     if(!check(lpoints, v))
-      update_scores(lpoints, v);
+      update_scores(lpoints);
     v[i]=tvt(tvt::tv_enumt::TV_FALSE);
     if(!check(lpoints, v))
-      update_scores(lpoints, v);
+      update_scores(lpoints);
     v[i]=tvt(tvt::tv_enumt::TV_UNKNOWN);
   }
 }
diff --git a/src/cbmc/fault_localization.h b/src/cbmc/fault_localization.h
index dd0227327e6..ad1bea7ce01 100644
--- a/src/cbmc/fault_localization.h
+++ b/src/cbmc/fault_localization.h
@@ -72,8 +72,7 @@ class fault_localizationt:
   // specify an lpoint combination to check
   typedef std::vector<tvt> lpoints_valuet;
   bool check(const lpointst &lpoints, const lpoints_valuet &value);
-  void update_scores(lpointst &lpoints,
-                     const lpoints_valuet &value);
+  void update_scores(lpointst &lpoints);
 
   // localization method: flip each point
   void localize_linear(lpointst &lpoints);