diff src/tag.sml @ 111:2d6116de9cca

Closure code generation almost there
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:06:47 -0400
parents 3739af9e727a
children 690d72c92a15
line wrap: on
line diff
--- a/src/tag.sml	Sun Jul 13 11:43:57 2008 -0400
+++ b/src/tag.sml	Sun Jul 13 12:06:47 2008 -0400
@@ -166,7 +166,7 @@
                 (newDs @ [d], (env, count, tags))
             end
 
-        val (file, _) = ListUtil.foldlMapConcat doDecl (CoreEnv.empty, count, IM.empty) file
+        val (file, _) = ListUtil.foldlMapConcat doDecl (CoreEnv.empty, count+1, IM.empty) file
     in
         file
     end