From 3b321b7e1af778f68344a6f25118dc104f0c9454 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20G=C3=BCdemann?= Date: Thu, 7 Jun 2018 09:39:36 +0200 Subject: [PATCH] Make pointer type selector public for java_bytecode_language --- jbmc/src/java_bytecode/java_bytecode_language.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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;