From 13e1acb4d9330fa4d89ee7acdb4ce02fec964b47 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 30 Oct 2008 17:07:34 -0400
Subject: Remove _espec tag; add some tag fields

---
 src/especialize.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/especialize.sml')

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
-- 
cgit v1.2.3