Remove unused function

svorenova · svorenova · commit b72b968a2e7c · 2018-07-25T15:34:46.000+01:00
diff --git a/jbmc/src/java_bytecode/java_types.cpp b/jbmc/src/java_bytecode/java_types.cpp
@@ -167,11 +167,6 @@ bool is_java_array_tag(const irep_idt& tag)
   return has_prefix(id2string(tag), "java::array[");
 }
 
-bool is_reference_type(const char t)
-{
-  return 'a'==t;
-}
-
 typet java_type_from_char(char t)
 {
   switch(t)
diff --git a/jbmc/src/java_bytecode/java_types.h b/jbmc/src/java_bytecode/java_types.h
@@ -250,8 +250,6 @@ typet &java_array_element_type(symbol_typet &array_symbol);
 bool is_java_array_type(const typet &type);
 bool is_multidim_java_array_type(const typet &type);
 
-bool is_reference_type(char t);
-
 // i  integer
 // l  long
 // s  short

Original file line number	Diff line number	Diff line change
`@@ -167,11 +167,6 @@ bool is_java_array_tag(const irep_idt& tag)`
`167`	`167`	`return has_prefix(id2string(tag), "java::array[");`
`168`	`168`	`}`
`169`	`169`
`170`		`-bool is_reference_type(const char t)`
`171`		`-{`
`172`		`- return 'a'==t;`
`173`		`-}`
`174`		`-`
`175`	`170`	`typet java_type_from_char(char t)`
`176`	`171`	`{`
`177`	`172`	`switch(t)`