Skip to content

Commit

Permalink
missing const for parameter
Browse files Browse the repository at this point in the history
  • Loading branch information
Daniel Kroening committed Apr 30, 2018
1 parent b8ffa5e commit c57439e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/java_bytecode/java_class_loader.h
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ class java_class_loadert:public messaget
java_class_loader_limitt &class_loader_limit,
const irep_idt &class_name);

void set_java_cp_include_files(std::string &java_cp_include_files)
void set_java_cp_include_files(const std::string &java_cp_include_files)
{
this->java_cp_include_files = java_cp_include_files;
}
Expand Down

0 comments on commit c57439e

Please sign in to comment.