Add header cstdint to kp_shared.h (#311)

dalg24 · web-flow · commit 6493964271d2 · 2025-12-11T11:22:25.000-05:00
diff --git a/profiling/simple-kernel-timer/kp_shared.h b/profiling/simple-kernel-timer/kp_shared.h
@@ -17,6 +17,7 @@
 #ifndef _H_KOKKOSP_KERNEL_SHARED
 #define _H_KOKKOSP_KERNEL_SHARED
 
+#include <cstdint>
 #include <map>
 #include <memory>
 #include <vector>
