Update tag in to_java_method_type

jeannielynnmoulton · jeannielynnmoulton · commit 7a03b3dd07b0 · 2018-08-02T12:28:22.000+01:00
diff --git a/jbmc/src/java_bytecode/java_types.h b/jbmc/src/java_bytecode/java_types.h
@@ -298,6 +298,7 @@ inline const java_method_typet &to_java_method_type(const typet &type)
 inline java_method_typet &to_java_method_type(typet &type)
 {
   PRECONDITION(type.id() == ID_code);
+  type.set(ID_C_java_method_type, true);
   return static_cast<java_method_typet &>(type);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -298,6 +298,7 @@ inline const java_method_typet &to_java_method_type(const typet &type)`
`298`	`298`	`inline java_method_typet &to_java_method_type(typet &type)`
`299`	`299`	`{`
`300`	`300`	`PRECONDITION(type.id() == ID_code);`
	`301`	`+ type.set(ID_C_java_method_type, true);`
`301`	`302`	`return static_cast<java_method_typet &>(type);`
`302`	`303`	`}`
`303`	`304`