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 | 565f72b0d162990dcfcb91873102915bf8b9b3d7 (patch) | |
tree | 67736a8e912df902a9bdbc4cab0e68c773a82af0 /src | |
parent | 0e88aba4fcbcf9587c289a555315ec30a112a2f0 (diff) |
Remove _espec tag; add some tag fields
Diffstat (limited to 'src')
-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 |