Index: src/ResolvExpr/Cost.h
===================================================================
--- src/ResolvExpr/Cost.h	(revision 164a6b69daa51bfd2f862b62de3798901ce84825)
+++ src/ResolvExpr/Cost.h	(revision 195d1d89c805c47fc486b2b8cf91431ffa3d0689)
@@ -10,6 +10,6 @@
 // Created On       : Sun May 17 09:39:50 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Jun 21 11:39:13 2019
-// Update Count     : 63
+// Last Modified On : Fri May  3 17:15:41 2024
+// Update Count     : 64
 //
 
@@ -19,4 +19,5 @@
 #include <cassert>
 #include <climits>
+#include <cstdint>
 
 namespace ResolvExpr {