From 1fe929fad5e8f88e4984bc04b842d1ab6a858a2d Mon Sep 17 00:00:00 2001
From: David Loiseaux <david.loiseaux@inria.fr>
Date: Wed, 12 Nov 2025 15:43:43 +0100
Subject: [PATCH] fix: for non-linux os

---
 src/config.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/config.cpp b/src/config.cpp
index 9a72c68..e68088b 100644
--- a/src/config.cpp
+++ b/src/config.cpp
@@ -8,7 +8,7 @@
 
 #include "config.hpp"
 #include <unistd.h>
-#include <linux/limits.h>
+#include <climits.h>
 #include <regex>
 #include <filesystem>
 #include <stdexcept>
@@ -332,4 +332,4 @@ void AIDA_runtime_statistics::print_timers() {
 
 #endif // TIMERS
 
-} // namespace aida
\ No newline at end of file
+} // namespace aida