From 5b2c82c1e9aef4ab4a93aa1a9ae308814b95778b Mon Sep 17 00:00:00 2001 From: Arne Welzel Date: Fri, 17 Mar 2023 11:04:20 +0100 Subject: [PATCH] scan.l: Remove unused deprecated_attr --- src/scan.l | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/scan.l b/src/scan.l index b46190c84e..3540c5b8a6 100644 --- a/src/scan.l +++ b/src/scan.l @@ -101,11 +101,6 @@ extern std::set module_names; if ( ((result = fread(buf, 1, max_size, yyin)) == 0) && ferror(yyin) ) \ zeek::reporter->Error("read failed with \"%s\"", strerror(errno)); -static void deprecated_attr(const char* attr) - { - zeek::reporter->Warning("Use of deprecated attribute: %s", attr); - } - static std::string find_relative_file(const std::string& filename, const std::string& ext) { if ( filename.empty() )