diff --git a/tgt-vhdl/scope.cc b/tgt-vhdl/scope.cc
index 5f4c7ddce..8f611f84b 100644
--- a/tgt-vhdl/scope.cc
+++ b/tgt-vhdl/scope.cc
@@ -254,7 +254,7 @@ void draw_nexus(ivl_nexus_t nexus)
  * Ensure that a nexus has been initialised. I.e. all the necessary
  * statements, declarations, etc. have been generated.
  */
-void seen_nexus(ivl_nexus_t nexus)
+static void seen_nexus(ivl_nexus_t nexus)
 {
    if (ivl_nexus_get_private(nexus) == NULL) {
       cout << "first time we've seen nexus "
diff --git a/tgt-vhdl/vhdl_target.h b/tgt-vhdl/vhdl_target.h
index 6a8fcf99b..bd786a3ca 100644
--- a/tgt-vhdl/vhdl_target.h
+++ b/tgt-vhdl/vhdl_target.h
@@ -32,7 +32,6 @@ vhdl_entity *get_active_entity();
 void set_active_entity(vhdl_entity *ent);
 
 vhdl_var_ref *nexus_to_var_ref(vhdl_scope *arch_scope, ivl_nexus_t nexus);
-void seen_nexus(ivl_nexus_t nexus);
 
 bool seen_signal_before(ivl_signal_t sig);
 void remember_signal(ivl_signal_t sig, vhdl_scope *scope);