--- a/src/core/model/nstime.h	Thu Jul 04 09:44:29 2013 +0200
+++ b/src/core/model/nstime.h	Thu Jul 04 15:57:10 2013 +0200
@@ -25,6 +25,7 @@
 #include "attribute-helper.h"
 #include "int64x64.h"
 #include <stdint.h>
+#include <limits.h>
 #include <cmath>
 #include <ostream>