From 6256290240ff690e623a155a9f0f29bb80e40253 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 22 Jun 2018 12:20:16 +0100 Subject: [PATCH] Fix return type of nodes_empty --- jbmc/src/java_bytecode/java_local_variable_table.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(); }