splint'able

[simgrid.git] / src / xbt / context_win32.h

diff --git a/src/xbt/context_win32.h b/src/xbt/context_win32.h
index fa5fa05..6fc8203 100644 (file)
--- a/src/xbt/context_win32.h
+++ b/src/xbt/context_win32.h
@@ -19,7 +19,9 @@
 #ifndef UCONTEXT_H
 #define UCONTEXT_H
 
-#include <windows.h>
+#ifndef S_SPLINT_S
+#  include <windows.h>
+#endif
 
 typedef struct __stack {
        void *ss_sp;