missing const for parameter

Daniel Kroening · Daniel Kroening · commit c57439e6d879 · 2018-04-30T11:50:51.000+01:00
diff --git a/src/java_bytecode/java_class_loader.h b/src/java_bytecode/java_class_loader.h
@@ -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;
   }

Original file line number	Diff line number	Diff line change
`@@ -55,7 +55,7 @@ class java_class_loadert:public messaget`
`55`	`55`	`java_class_loader_limitt &class_loader_limit,`
`56`	`56`	`const irep_idt &class_name);`
`57`	`57`
`58`		`- void set_java_cp_include_files(std::string &java_cp_include_files)`
	`58`	`+ void set_java_cp_include_files(const std::string &java_cp_include_files)`
`59`	`59`	`{`
`60`	`60`	`this->java_cp_include_files = java_cp_include_files;`
`61`	`61`	`}`