From 32bc17912007da50c2025856a7c060702cf63b54 Mon Sep 17 00:00:00 2001 From: William JCM Date: Fri, 10 Sep 2021 16:15:27 +0200 Subject: [PATCH] SaveTool: change an include. The old one works on my setup, but might not work on others. --- src/SaveTool/SaveTool.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/SaveTool/SaveTool.h b/src/SaveTool/SaveTool.h index 09e19d1..9ce8348 100644 --- a/src/SaveTool/SaveTool.h +++ b/src/SaveTool/SaveTool.h @@ -25,7 +25,7 @@ #include #include -#include +#include #include #include