From b3379c2a4d9b23c49c286b31ab24850129b5bb1e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 13 Jul 2008 12:06:47 -0400 Subject: Closure code generation almost there --- src/tag.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/tag.sml') diff --git a/src/tag.sml b/src/tag.sml index a244c294..038572b6 100644 --- a/src/tag.sml +++ b/src/tag.sml @@ -166,7 +166,7 @@ fun tag file = (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 -- cgit v1.2.3