diff src/demo.sml @ 2211:ef766ef6e242

Merge.
author Ziv Scully <ziv@mit.edu>
date Sat, 13 Sep 2014 19:16:07 -0400
parents e4051315263e
children
line wrap: on
line diff
--- a/src/demo.sml	Sat May 31 22:23:25 2014 -0400
+++ b/src/demo.sml	Sat Sep 13 19:16:07 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"