Actually use the parameter of set_is_stub

tautschnig · tautschnig · commit 81bc04b39cda · 2018-12-21T12:20:12.000Z
Also pass it by value, a reference is likely more costly in this case.
diff --git a/jbmc/src/java_bytecode/java_types.h b/jbmc/src/java_bytecode/java_types.h
@@ -171,9 +171,9 @@ class java_class_typet:public class_typet
     set(ID_final, is_final);
   }
 
-  void set_is_stub(const bool &is_stub)
+  void set_is_stub(bool is_stub)
   {
-    set(ID_incomplete_class, true);
+    set(ID_incomplete_class, is_stub);
   }
 
   bool get_is_stub() const

Original file line number	Diff line number	Diff line change
`@@ -171,9 +171,9 @@ class java_class_typet:public class_typet`
`171`	`171`	`set(ID_final, is_final);`
`172`	`172`	`}`
`173`	`173`
`174`		`- void set_is_stub(const bool &is_stub)`
	`174`	`+ void set_is_stub(bool is_stub)`
`175`	`175`	`{`
`176`		`- set(ID_incomplete_class, true);`
	`176`	`+ set(ID_incomplete_class, is_stub);`
`177`	`177`	`}`
`178`	`178`
`179`	`179`	`bool get_is_stub() const`