From e9d277131ca346cfd6120c7ef73623d20d1df6f8 Mon Sep 17 00:00:00 2001 From: Dimitri Date: Thu, 14 Apr 2022 02:43:31 +0200 Subject: lint: Convert lint-logs.sh to Python --- src/random.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/random.cpp') diff --git a/src/random.cpp b/src/random.cpp index b862510524..77d2ae4d43 100644 --- a/src/random.cpp +++ b/src/random.cpp @@ -13,7 +13,7 @@ #include // for Windows API #include #endif -#include // for LogPrintf() +#include #include #include #include // for Mutex -- cgit v1.2.3