From 768fd72de4842c23813cd45bfae4918c7395e0c1 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 May 2009 12:41:33 -0400 Subject: Fix a Core_untangle bug that missed closure variable references; XHTMLize --- src/core_untangle.sml | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/core_untangle.sml') diff --git a/src/core_untangle.sml b/src/core_untangle.sml index 1b34fe8f..480ec7a4 100644 --- a/src/core_untangle.sml +++ b/src/core_untangle.sml @@ -44,6 +44,11 @@ fun exp thisGroup (e, s) = IS.add (s, n) else s + | EClosure (n, _) => + if IS.member (thisGroup, n) then + IS.add (s, n) + else + s | _ => s -- cgit v1.2.3