Merge pull request #5524 from NlightNFotis/fix_macos_build

Introduce reference to avoid unneeded copy.
diffblue · Oct 15, 2020 · 8fae794 · 8fae794
2 parents 31f73e1 + 0559972
commit 8fae794
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jbmc/src/java_bytecode/lambda_synthesis.cpp b/jbmc/src/java_bytecode/lambda_synthesis.cpp
@@ -156,7 +156,7 @@ get_interface_methods(const irep_idt &interface_id, const namespacet &ns)
   {
     const methods_by_name_and_descriptort base_methods =
       get_interface_methods(base.type().get_identifier(), ns);
-    for(const auto base_method : base_methods)
+    for(const auto &base_method : base_methods)
     {
       if(base_method.second)
       {