diff options
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 |