Mercurial > urweb
diff src/demo.sml @ 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 | 3d922a28370b |
children |
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"