From 3e8eff4fc4522b4a0d3dff15102af7c8e26b380a Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 7 Jun 2018 17:46:40 +0000
Subject: [PATCH] Fix the return type to match the class member types

---
 jbmc/src/java_bytecode/java_bytecode_parser.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/jbmc/src/java_bytecode/java_bytecode_parser.cpp b/jbmc/src/java_bytecode/java_bytecode_parser.cpp
index 7fdf5e6b5f5..e1cdfe600fe 100644
--- a/jbmc/src/java_bytecode/java_bytecode_parser.cpp
+++ b/jbmc/src/java_bytecode/java_bytecode_parser.cpp
@@ -308,11 +308,11 @@ class base_ref_infot : public structured_pool_entryt
     name_and_type_index = entry.ref2;
   }
 
-  u1 get_class_index() const
+  u2 get_class_index() const
   {
     return class_index;
   }
-  u1 get_name_and_type_index() const
+  u2 get_name_and_type_index() const
   {
     return name_and_type_index;
   }