Merge pull request #3617 from tautschnig/vs-set_is_stub

tautschnig · web-flow · commit 15379e2678e5 · 2018-12-21T14:53:51.000Z
Actually use the parameter of set_is_stub [blocks: #2310]
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`