std::string irep ids must use actual strings

We want comments to start with `#` and not `C_`.
diffblue · Nov 15, 2023 · 2f3f767 · 2f3f767
1 parent 4b7b25f
commit 2f3f767
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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