# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1402509360 14400
# Node ID e4051315263e443743d7628e99f8f16102fadba2
# Parent  1a4b2b983889903221ce6e5625b21d151413a8ca
Fix a bug in demos with 'rewrite all'

diff -r 1a4b2b983889 -r e4051315263e src/demo.sml
--- a/src/demo.sml	Wed Jun 11 08:31:14 2014 -0400
+++ b/src/demo.sml	Wed Jun 11 13:56:00 2014 -0400
@@ -410,7 +410,7 @@
                 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"