diff options
Diffstat (limited to '060rewrite_literal_string.cc')
| -rw-r--r-- | 060rewrite_literal_string.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/060rewrite_literal_string.cc b/060rewrite_literal_string.cc index f4ed9b4c..95e38924 100644 --- a/060rewrite_literal_string.cc +++ b/060rewrite_literal_string.cc @@ -19,6 +19,7 @@ Transform.push_back(rewrite_literal_string_to_text); // idempotent set<string> recipes_taking_literal_strings; :(code) void initialize_transform_rewrite_literal_string_to_text() { + recipes_taking_literal_strings.insert("assert"); recipes_taking_literal_strings.insert("$print"); recipes_taking_literal_strings.insert("$dump-trace"); recipes_taking_literal_strings.insert("$system"); |