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 9eeeefaa..707a8e3d 100644 --- a/060rewrite_literal_string.cc +++ b/060rewrite_literal_string.cc @@ -20,6 +20,7 @@ set<string> recipes_taking_literal_strings; :(code) void initialize_transform_rewrite_literal_string_to_text() { recipes_taking_literal_strings.insert("$print"); + recipes_taking_literal_strings.insert("$dump-trace"); recipes_taking_literal_strings.insert("$system"); recipes_taking_literal_strings.insert("trace"); recipes_taking_literal_strings.insert("stash"); |