diff --git a/src/ARCodeTranslator.hh b/src/ARCodeTranslator.hh
index 27f727fe..1fa475c4 100644
--- a/src/ARCodeTranslator.hh
+++ b/src/ARCodeTranslator.hh
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <stdint.h>
+
 #include <string>
 #include <utility>
 #include <vector>