Adding the irep_ids file to frequently modified low risk files

Adding a new string to this list is a relatively common operation that carries little risk.
smowton · Feb 5, 2018 · cb2c7a8 · cb2c7a8
1 parent 8d66028
commit cb2c7a8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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