From 2f3f767ef139a38be4b41d69fd393876a5ac16d4 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 15 Nov 2023 16:04:03 +0000 Subject: [PATCH] std::string irep ids must use actual strings We want comments to start with `#` and not `C_`. --- src/util/irep_ids.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/irep_ids.cpp b/src/util/irep_ids.cpp index 5a6bc4e525da..bb933862ed76 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