diff --git a/jbmc/src/java_bytecode/java_local_variable_table.cpp b/jbmc/src/java_bytecode/java_local_variable_table.cpp
index dc519b3fa09..28c0731ec09 100644
--- a/jbmc/src/java_bytecode/java_local_variable_table.cpp
+++ b/jbmc/src/java_bytecode/java_local_variable_table.cpp
@@ -92,7 +92,7 @@ struct procedure_local_cfg_baset<
     return (--args.second.end())->first;
   }
 
-  unsigned nodes_empty(const method_with_amapt &args) const
+  bool nodes_empty(const method_with_amapt &args) const
   {
     return args.second.empty();
   }