diff --git a/jbmc/src/java_bytecode/java_bytecode_language.h b/jbmc/src/java_bytecode/java_bytecode_language.h index f7c0ac17020..9557d67a19c 100644 --- a/jbmc/src/java_bytecode/java_bytecode_language.h +++ b/jbmc/src/java_bytecode/java_bytecode_language.h @@ -138,6 +138,7 @@ class java_bytecode_languaget:public languaget virtual void convert_lazy_method( const irep_idt &function_id, symbol_table_baset &symbol_table) override; + const select_pointer_typet &get_pointer_type_selector() const; protected: void convert_single_method( @@ -153,7 +154,6 @@ class java_bytecode_languaget:public languaget optionalt needed_lazy_methods); bool do_ci_lazy_method_conversion(symbol_tablet &, method_bytecodet &); - const select_pointer_typet &get_pointer_type_selector() const; irep_idt main_class; std::vector main_jar_classes;