Merge pull request diffblue#2400 from tautschnig/vs-return-type

tautschnig · web-flow · commit 0498da913dbe · 2018-06-23T23:53:06.000+01:00
Fix return type of nodes_empty
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`	`}`