Update types.h, add #include<stdint.h> (oceanbase#379)

### What problem were solved in this pull request? g++13 can't compile Issue Number: oceanbase#378 Problem: no header included in types.h ### What is changed and how it works? add #include<stdint.h> or <cstdint> ### Other information --------- Co-authored-by: wangyunlai <[email protected]>
xiao45lp · Apr 18, 2024 · be0dcfe · be0dcfe
1 parent 6ac17fe
commit be0dcfe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/observer/common/types.h b/src/observer/common/types.h
@@ -13,7 +13,7 @@ See the Mulan PSL v2 for more details. */
 //
 
 #pragma once
-
+#include <stdint.h>
 /// 磁盘文件，包括存放数据的文件和索引(B+-Tree)文件，都按照页来组织
 /// 每一页都有一个编号，称为PageNum
 using PageNum = int32_t;