diff --git a/CODEOWNERS b/CODEOWNERS
index 7e602fd5af9..ff831c20ff9 100644
--- a/CODEOWNERS
+++ b/CODEOWNERS
@@ -46,6 +46,8 @@ src/cpp/ @kroening @tautschnig @peterschrammel
 
 # These files change frequently and changes are low-risk
 
+src/util/irep_ids.def @diffblue/cbmc-developers
+
 unit/ @diffblue/cbmc-developers
 regression/ @diffblue/cbmc-developers