Merge pull request #2613 from NathanJPhillips/cleanup/irep_ids-def-not-h

Updated comment for the fact that IDs are defined in def files now

Author: Daniel Kroening

src/util/irep_ids.def

@@ -693,9 +693,9 @@ IREP_ID_TWO(C_qualifier, #qualifier)
 IREP_ID_TWO(C_array_ini, #array_ini)
 
 // Projects depending on this code base that wish to extend the list of
-// available ids should provide a file local_irep_ids.h in their source tree and
-// add -D'LOCAL_IREP_IDS=<project/local_irep_ids.h>' to their compiler command
-// line.
+// available ids should provide a file local_irep_ids.def in their source tree
+// and add -D'LOCAL_IREP_IDS=<project/local_irep_ids.def>' to their compiler
+// command line.
 #ifdef LOCAL_IREP_IDS
 #include LOCAL_IREP_IDS
 #endif