Merge pull request diffblue#1791 from thk123/feature/make-irep-ids-mo…

…difiable-by-all Adding the irep_ids file to frequently modified low risk files
smowton · Mar 4, 2018 · 92b4873 · 92b4873
2 parents 2fef8fd + cb2c7a8
commit 92b4873
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