Add comment suggested by @owen-jones-diffblue

smowton · Jan 16, 2018 · 7a0de46 · 7a0de46
1 parent b741d4b
commit 7a0de46
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/util/irep.h b/src/util/irep.h
@@ -205,6 +205,8 @@ class irept
 #endif
   {
   public:
+    /// This irep_idt is the only place to store data in an irep, other than
+    /// the mere nesting structure
     irep_idt data;
     named_subt named_sub;
     named_subt comments;