From c48f37cb68e5429255d7320a794ef73c01bdd2ca Mon Sep 17 00:00:00 2001
From: Jeremy <51220084+jeremy-rifkin@users.noreply.github.com>
Date: Sun, 27 Aug 2023 21:31:39 -0400
Subject: [PATCH] Make the linter happy (for real)

---
 src/platform/common.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/platform/common.hpp b/src/platform/common.hpp
index 02bed7d..3733f2c 100644
--- a/src/platform/common.hpp
+++ b/src/platform/common.hpp
@@ -261,7 +261,7 @@ T load_bytes(FILE* obj_file, off_t offset) {
 }
 
 class file_error : std::exception {
-    virtual const char* what() const noexcept override {
+    const char* what() const noexcept override {
         return "Unable to read file";
     }
 };