From e60fa2c388f9a78ba3e8381c75d20ff85f07d108 Mon Sep 17 00:00:00 2001
From: Jeremy <51220084+jeremy-rifkin@users.noreply.github.com>
Date: Sun, 27 Aug 2023 21:02:09 -0400
Subject: [PATCH] Make the linter happy

---
 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 87fb40d..02bed7d 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 {
+    virtual const char* what() const noexcept override {
         return "Unable to read file";
     }
 };