Merge remote-tracking branch 'origin/v9-minor'

scipopt · Jan 2, 2025 · 91dfed9 · 91dfed9
2 parents b140b9a + e6bb2c5
commit 91dfed9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lint/scip.lnt b/lint/scip.lnt
@@ -61,6 +61,10 @@
 // "# define UINT64_MAX (__UINT64_C(18446744073709551615))" in stdint.h
 ++dUINT64_MAX=18446744073709551615UL
 
+// tinycthread will think that _Thread_local is available, because
+// __STDC_VERSION__ >= 201102L, but it isn't
+++d_Thread_local=
+
 // ---------------------------------------------------------
 // treat particular messages:
 -emacro(506,debugMessage)         // Constant value Boolean