diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-30 17:07:34 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-30 17:07:34 -0400 |
| commit | 13e1acb4d9330fa4d89ee7acdb4ce02fec964b47 (patch) | |
| tree | 67736a8e912df902a9bdbc4cab0e68c773a82af0 /src/especialize.sml | |
| parent | f9347ca52cf7a21a3aae0e7bfbb2d5978ff5d421 (diff) | |
Remove _espec tag; add some tag fields
Diffstat (limited to 'src/especialize.sml')
| -rw-r--r-- | src/especialize.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/especialize.sml b/src/especialize.sml index a316ffaa..b2f0c7e6 100644 --- a/src/especialize.sml +++ b/src/especialize.sml @@ -117,7 +117,7 @@ fun exp (e, st : state) = (#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 |