diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
index 5714518c7fd..4bc64e911e3 100644
--- a/src/util/irep_ids.def
+++ b/src/util/irep_ids.def
@@ -1,4 +1,5 @@
-/// \file List of irep id names and values.
+/// \file
+/// List of irep id names and values.
 /// For an explanation of how this works, see irep_ids.h.
 
 IREP_ID_TWO(empty_string, )