about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-07-20 09:26:41 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-07-20 09:27:31 -0700
commit387f9c93ed045db2268d05cf2f7a06eff2d2b9f4 (patch)
tree2b1b54c5302b66f3757021133209605ae23554e0
parentbd3d6c9e8314bc31cb294ba321b9513842eef120 (diff)
downloadmu-387f9c93ed045db2268d05cf2f7a06eff2d2b9f4.tar.gz
3113
$dump-trace had stopped working with an explicit layer. Thanks Jack and
Ella Couch.
-rw-r--r--060rewrite_literal_string.cc1
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");