Mercurial > urweb

diff src/especialize.sml @ 444:f45f23ae20ed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove _espec tag; add some tag fields
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 17:07:34 -0400
parents bd9ee9aeca2f
children 787d4931fb07
line wrap: on
line diff
--- a/src/especialize.sml	Thu Oct 30 16:58:54 2008 -0400
+++ b/src/especialize.sml	Thu Oct 30 17:07:34 2008 -0400
@@ -117,7 +117,7 @@
                                 (#1 e',
                                  {maxName = #maxName st,
                                   funcs = #funcs st,
-                                  decls = (name, f', typ', body', tag ^ "_espec") :: #decls st})
+                                  decls = (name, f', typ', body', tag) :: #decls st})
                             end
                     end
     end