From 999ef65221fda211a7dc8bdfc9c2a961ac272b39 Mon Sep 17 00:00:00 2001
From: Rick Winfrey <rewinfrey@github.com>
Date: Tue, 27 Nov 2018 17:18:46 -0800
Subject: [PATCH] Add Reader effect

Co-Authored-By: Josh Vera <vera@github.com>
---
 src/Data/Abstract/Value/Type.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Data/Abstract/Value/Type.hs b/src/Data/Abstract/Value/Type.hs
index 4e28e829f..e84dcb114 100644
--- a/src/Data/Abstract/Value/Type.hs
+++ b/src/Data/Abstract/Value/Type.hs
@@ -243,6 +243,7 @@ instance ( Member (Allocator address) sig
          , Member (Deref Type) sig
          , Member (Error (Return address Type)) sig
          , Member Fresh sig
+         , Member (Reader (address, address)) sig
          , Member (Reader ModuleInfo) sig
          , Member (Reader Span) sig
          , Member (State Span) sig