From cb2c7a82651a77880b2877cc0c6e97176a720483 Mon Sep 17 00:00:00 2001
From: thk123 <thomas@diffblue.com>
Date: Mon, 5 Feb 2018 10:40:21 +0000
Subject: [PATCH] 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.
---
 CODEOWNERS | 2 ++
 1 file changed, 2 insertions(+)

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