diff --git a/src/verilog/verilog_interfaces.cpp b/src/verilog/verilog_interfaces.cpp
index 3c1f70165..01529e62a 100644
--- a/src/verilog/verilog_interfaces.cpp
+++ b/src/verilog/verilog_interfaces.cpp
@@ -35,7 +35,7 @@ void verilog_typecheckt::module_interface(
     interface_module_item(module_item);
 
   // Check the typing of the ports
-  check_module_ports(module_source);
+  check_module_ports(module_source.ports());
 }
 
 /*******************************************************************\
@@ -51,10 +51,8 @@ Function: verilog_typecheckt::check_module_ports
 \*******************************************************************/
 
 void verilog_typecheckt::check_module_ports(
-  const verilog_module_sourcet &module_source)
+  const verilog_module_sourcet::port_listt &module_ports)
 {
-  const auto &module_ports = module_source.ports();
-
   auto &ports = module_symbol.type.add(ID_ports).get_sub();
   ports.resize(module_ports.size());
   std::map<irep_idt, unsigned> port_names;
diff --git a/src/verilog/verilog_typecheck.h b/src/verilog/verilog_typecheck.h
index a2dc62c76..18131f4ab 100644
--- a/src/verilog/verilog_typecheck.h
+++ b/src/verilog/verilog_typecheck.h
@@ -111,7 +111,7 @@ class verilog_typecheckt:
 
   // interfaces
   void module_interface(const verilog_module_sourcet &);
-  void check_module_ports(const verilog_module_sourcet &);
+  void check_module_ports(const verilog_module_sourcet::port_listt &);
   void interface_module_decl(const class verilog_declt &);
   void interface_function_or_task_decl(const class verilog_declt &);
   void interface_inst(const verilog_inst_baset &);