Merge pull request diffblue#2320 from tautschnig/vs-return-type

Fix the return type to match the class member types
NathanJPhillips · Jun 9, 2018 · f2ec10e · f2ec10e
2 parents 0f2cc3a + 3e8eff4
commit f2ec10e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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;
   }