diff --git a/src/Control/Abstract/Value.hs b/src/Control/Abstract/Value.hs
index e040393c8..63a69daab 100644
--- a/src/Control/Abstract/Value.hs
+++ b/src/Control/Abstract/Value.hs
@@ -151,7 +151,6 @@ data Variable value return where
 runVariable :: forall location value opaque effects a
             .  ( Members '[ Fail
                           , Reader (Map Name location)
-                          , State (Map location value)
                           ] effects
                , Show location
                )