Fix the return type to match the class member types #2320

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

kroening merged 1 commit into diffblue:develop from tautschnig:vs-return-type

Jun 9, 2018

Merged

Fix the return type to match the class member types #2320

jbmc/src/java_bytecode/java_bytecode_parser.cpp

            
                      Original file line number
                      Diff line number
                      Diff line change
                  
    @@ -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;

      }