diff --git a/src/util/irep_ids.cpp b/src/util/irep_ids.cpp
index 5a6bc4e525d..bb933862ed7 100644
--- a/src/util/irep_ids.cpp
+++ b/src/util/irep_ids.cpp
@@ -45,7 +45,7 @@ enum class idt:unsigned
 #else
 
 #define IREP_ID_ONE(the_id) const std::string ID_##the_id(#the_id);
-#define IREP_ID_TWO(the_id, str) const std::string ID_##the_id(#the_id);
+#  define IREP_ID_TWO(the_id, str) const std::string ID_##the_id(#  str);
 
 #endif