summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-06-11 13:56:00 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-06-11 13:56:00 -0400
commitac8529dadc1a0ba0621058457364b6c634ebe01c (patch)
tree7f5dd6b17ab1564500b9be11188d9612db2cb40d /src
parentfb7713fd8543d1a42357d045d14909ba233151e0 (diff)
Fix a bug in demos with 'rewrite all'
Diffstat (limited to 'src')
-rw-r--r--src/demo.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/demo.sml b/src/demo.sml
index 26dcfa95..17de80ee 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -410,7 +410,7 @@ fun make' {prefix, dirname, guided} =
app (fn rule =>
(TextIO.output (outf, "rewrite ");
TextIO.output (outf, case #pkind rule of
- Settings.Any => "any"
+ Settings.Any => "all"
| Settings.Url => "url"
| Settings.Table => "table"
| Settings.Sequence => "sequence"