diff --git a/cmake/glop.cmake b/cmake/glop.cmake
index 33f4c2c0e62..87e6965cb3a 100644
--- a/cmake/glop.cmake
+++ b/cmake/glop.cmake
@@ -82,7 +82,6 @@ target_sources(glop PRIVATE
   ortools/base/commandlineflags.h
   ortools/base/file.cc
   ortools/base/file.h
-  ortools/base/integral_types.h
   ortools/base/logging.h
   ortools/base/macros.h
   ortools/base/sysinfo.cc
@@ -302,7 +301,6 @@ install(FILES
   ortools/base/int_type.h
   ortools/base/strong_int.h
   ortools/base/strong_vector.h
-  ortools/base/integral_types.h
   ortools/base/logging.h
   ortools/base/macros.h
   ortools/base/recordio.h
diff --git a/ortools/sat/docs/integer_arithmetic.md b/ortools/sat/docs/integer_arithmetic.md
index 83f0224c0ac..4e20323c6c9 100644
--- a/ortools/sat/docs/integer_arithmetic.md
+++ b/ortools/sat/docs/integer_arithmetic.md
@@ -767,7 +767,6 @@ step_function_sample_sat()
 #include <memory>
 
 #include "absl/types/span.h"
-#include "ortools/base/integral_types.h"
 #include "ortools/base/logging.h"
 #include "ortools/sat/cp_model.h"
 #include "ortools/sat/cp_model.pb.h"