changeset 2023:e4051315263e

Fix a bug in demos with 'rewrite all'
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Jun 2014 13:56:00 -0400
parents 1a4b2b983889
children 6372a742ab04
files src/demo.sml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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"