Merge pull request #1791 from thk123/feature/make-irep-ids-modifiable-by-all

Daniel Kroening · web-flow · commit 92b487386834 · 2018-03-04T14:01:47.000Z
Adding the irep_ids file to frequently modified low risk files
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
 
