diff --git a/src/analyses/local_bitvector_analysis.cpp b/src/analyses/local_bitvector_analysis.cpp
index 41700caccb7..97caad53429 100644
--- a/src/analyses/local_bitvector_analysis.cpp
+++ b/src/analyses/local_bitvector_analysis.cpp
@@ -241,7 +241,7 @@ local_bitvector_analysist::flagst local_bitvector_analysist::get_rec(
     return flagst::mk_unknown();
 }
 
-void local_bitvector_analysist::build(const goto_functiont &goto_function)
+void local_bitvector_analysist::build()
 {
   if(cfg.nodes.empty())
     return;
diff --git a/src/analyses/local_bitvector_analysis.h b/src/analyses/local_bitvector_analysis.h
index 4a750d8cf32..57695b14679 100644
--- a/src/analyses/local_bitvector_analysis.h
+++ b/src/analyses/local_bitvector_analysis.h
@@ -31,7 +31,7 @@ class local_bitvector_analysist
     locals(_goto_function),
     cfg(_goto_function.body)
   {
-    build(_goto_function);
+    build();
   }
 
   void output(
@@ -176,7 +176,7 @@ class local_bitvector_analysist
     const exprt &src);
 
 protected:
-  void build(const goto_functiont &goto_function);
+  void build();
 
   typedef std::stack<unsigned> work_queuet;