Do not forget to lint headers

Signed-off-by: Anton Korobeynikov <anton@korobeynikov.info>
p4lang · Jul 17, 2024 · 17bea39 · 17bea39
1 parent 9fcc031
commit 17bea39
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/frontends/CMakeLists.txt b/frontends/CMakeLists.txt
@@ -148,6 +148,7 @@ set (P4_FRONTEND_HDRS
   p4/ternaryBool.h
   p4/toP4/toP4.h
   p4/typeChecking/bindVariables.h
+  p4/typeChecking/constantTypeSubstitution.h
   p4/typeChecking/syntacticEquivalence.h
   p4/typeChecking/typeChecker.h
   p4/typeChecking/typeConstraints.h