diff --git a/src/Traceback.h b/src/Traceback.h
index 745db68513a117ccf7bfa32211ae21932d6f6e44..f85bede484cdac0b6abf4cfa32109d1d6169c5f5 100644
--- a/src/Traceback.h
+++ b/src/Traceback.h
@@ -8,6 +8,7 @@
 
 #include <iostream>
 #include <fstream>
+#include <stdint.h>
 
 #include "debug_macros.h"