add missing header file

runtimeverification · Nov 26, 2024 · dfccf36 · dfccf36
1 parent 93e780a
commit dfccf36
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/include/runtime/types.h b/include/runtime/types.h
@@ -1,6 +1,7 @@
 #ifndef RUNTIME_TYPES_H
 #define RUNTIME_TYPES_H
 
+#include <cstdint>
 #include <gmp.h>
 #include <mpfr.h>