diff options
Diffstat (limited to 'src/core_untangle.sml')
-rw-r--r-- | src/core_untangle.sml | 5 |
1 files changed, 5 insertions, 0 deletions
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 |