From 906687e2db465a1e8c728a6d751b653d76ce0bde Mon Sep 17 00:00:00 2001
From: Jeremy <51220084+jeremy-rifkin@users.noreply.github.com>
Date: Tue, 12 Sep 2023 18:23:56 -0400
Subject: [PATCH] Lint fix

---
 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 6d5233c..095ba91 100644
--- a/src/platform/common.hpp
+++ b/src/platform/common.hpp
@@ -433,7 +433,7 @@ static bool directory_exists(const std::string& path) {
 CPPTRACE_MAYBE_UNUSED
 static std::string basename(const std::string& path) {
     // Assumes no trailing /'s
-    auto pos = path.rfind("/");
+    auto pos = path.rfind('/');
     if(pos == std::string::npos) {
         return path;
     } else {