More redundant constraints

2024-11-28 10:15:55 +03:00 · 2018-07-11 15:14:12 -04:00 · 2018-07-11 15:14:12 -04:00 · 1f156c0ba2
commit 1f156c0ba2
parent d6542b9e70
1 changed files with 0 additions and 1 deletions
--- a/src/Data/Abstract/Value/Abstract.hs
+++ b/src/Data/Abstract/Value/Abstract.hs
@ -30,7 +30,6 @@ instance AbstractIntro Abstract where
 instance ( Member (Allocator address Abstract) effects
         , Member (Env address) effects
         , Member (Exc (Return address)) effects
-         , Member Fresh effects
         )
      => AbstractFunction address Abstract effects where
  closure names _ body = do