diff --git a/src/goto-cc/ms_link_cmdline.cpp b/src/goto-cc/ms_link_cmdline.cpp
index 771b45c6dbb..e0a8a06c7d6 100644
--- a/src/goto-cc/ms_link_cmdline.cpp
+++ b/src/goto-cc/ms_link_cmdline.cpp
@@ -333,7 +333,7 @@ void ms_link_cmdlinet::process_link_option(const std::string &s)
     return;
   }
 
-  for(const std::string &ms_link_option : ms_link_options)
+  for(const std::string ms_link_option : ms_link_options)
   {
     // These are case insensitive.
     if(