Fix return type of nodes_empty

tautschnig · tautschnig · commit 6256290240ff · 2018-06-23T19:17:07.000+01:00
diff --git 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();
   }

Original file line number	Diff line number	Diff line change
`@@ -92,7 +92,7 @@ struct procedure_local_cfg_baset<`
`92`	`92`	`return (--args.second.end())->first;`
`93`	`93`	`}`
`94`	`94`
`95`		`- unsigned nodes_empty(const method_with_amapt &args) const`
	`95`	`+ bool nodes_empty(const method_with_amapt &args) const`
`96`	`96`	`{`
`97`	`97`	`return args.second.empty();`
`98`	`98`	`}`