diff --git a/src/tools/dbdToRecordtypeH.pl b/src/tools/dbdToRecordtypeH.pl
index 06d1dd0cc..ea55d27b4 100755
--- a/src/tools/dbdToRecordtypeH.pl
+++ b/src/tools/dbdToRecordtypeH.pl
@@ -85,8 +85,6 @@ if ($opt_D) {   # Output dependencies only, to stdout
         print OUTFILE $menu->toDeclaration;
         if ($menu_used{$name}) {
             delete $menu_used{$name}
-        } else {
-            warn "Menu '$name' defined but not used\n";
         }
     }
     our @menus_external = keys %menu_used;