From 74a4cd7d93bd485d01fe4eb07ddd04b7237ff043 Mon Sep 17 00:00:00 2001
From: Matthias Hochsteger <matthias.hochsteger@tuwien.ac.at>
Date: Mon, 7 Jan 2019 13:18:27 +0100
Subject: [PATCH] Fix wrong header include on Windows

---
 libsrc/core/paje_trace.hpp | 1 -
 libsrc/core/utils.hpp      | 5 +++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/libsrc/core/paje_trace.hpp b/libsrc/core/paje_trace.hpp
index d2584487..2addc0e3 100644
--- a/libsrc/core/paje_trace.hpp
+++ b/libsrc/core/paje_trace.hpp
@@ -3,7 +3,6 @@
 
 #include <limits>
 #include <vector>
-#include <x86intrin.h>   // for __rdtsc()  CPU time step counter
 
 #include "logging.hpp"       // for logger
 #include "ngcore_api.hpp"    // for NGCORE_API
diff --git a/libsrc/core/utils.hpp b/libsrc/core/utils.hpp
index 2c88629d..c8dc1e9e 100644
--- a/libsrc/core/utils.hpp
+++ b/libsrc/core/utils.hpp
@@ -4,7 +4,12 @@
 #include <chrono>
 #include <sstream>
 #include <string>
+
+#ifdef WIN32
+#include <intrin.h>   // for __rdtsc()  CPU time step counter
+#else
 #include <x86intrin.h>   // for __rdtsc()  CPU time step counter
+#endif // WIN32
 
 #include "ngcore_api.hpp"       // for NGCORE_API