diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-07-20 09:26:41 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-07-20 09:27:31 -0700 |
commit | 387f9c93ed045db2268d05cf2f7a06eff2d2b9f4 (patch) | |
tree | 2b1b54c5302b66f3757021133209605ae23554e0 | |
parent | bd3d6c9e8314bc31cb294ba321b9513842eef120 (diff) | |
download | mu-387f9c93ed045db2268d05cf2f7a06eff2d2b9f4.tar.gz |
3113
$dump-trace had stopped working with an explicit layer. Thanks Jack and Ella Couch.
-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"); |