diff --git a/frontends/p4/typeChecking/typeChecker.cpp b/frontends/p4/typeChecking/typeChecker.cpp
index 5b5174f7b4..bd4f55944d 100644
--- a/frontends/p4/typeChecking/typeChecker.cpp
+++ b/frontends/p4/typeChecking/typeChecker.cpp
@@ -16,15 +16,11 @@ limitations under the License.
 
 #include "typeChecker.h"
 
-#include <boost/format.hpp>
-
-#include "absl/container/flat_hash_map.h"
 #include "constantTypeSubstitution.h"
 #include "frontends/common/constantFolding.h"
 #include "frontends/common/resolveReferences/referenceMap.h"
 #include "frontends/common/resolveReferences/resolveReferences.h"
 #include "lib/cstring.h"
-#include "lib/hash.h"
 #include "lib/log.h"
 #include "typeConstraints.h"
 #include "typeSubstitution.h"
diff --git a/frontends/p4/typeChecking/typeChecker.h b/frontends/p4/typeChecking/typeChecker.h
index 0d8b669a1e..ba53367075 100644
--- a/frontends/p4/typeChecking/typeChecker.h
+++ b/frontends/p4/typeChecking/typeChecker.h
@@ -19,7 +19,6 @@ limitations under the License.
 
 #include "frontends/common/resolveReferences/referenceMap.h"
 #include "frontends/common/resolveReferences/resolveReferences.h"
-#include "frontends/p4/typeChecking/typeSubstitution.h"
 #include "frontends/p4/typeMap.h"
 #include "ir/ir.h"
 #include "ir/pass_manager.h"