From baed0e3d8210f29025959a9cfebb59204dd2cd32 Mon Sep 17 00:00:00 2001
From: joshvera <josh@joshvera.com>
Date: Wed, 21 Feb 2018 18:12:19 -0500
Subject: [PATCH] Add Eval back to Evaluating

---
 src/Analysis/Abstract/Evaluating3.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Analysis/Abstract/Evaluating3.hs b/src/Analysis/Abstract/Evaluating3.hs
index 83004d23b..b4500840f 100644
--- a/src/Analysis/Abstract/Evaluating3.hs
+++ b/src/Analysis/Abstract/Evaluating3.hs
@@ -25,10 +25,10 @@ import System.FilePath.Posix
 
 -- | The effects necessary for concrete interpretation.
 type Evaluating term v
-  = '[ Fail                                  -- For 'MonadFail'.
-     , Store2 v                              -- For 'MonadStore'.
+  = '[ Fail                                -- For 'MonadFail'.
+     , State (Store (LocationFor v) v)                              -- For 'MonadStore'.
      , State (Environment (LocationFor v) v) -- Environment State
-     -- , Eval (Base term) term
+     , Eval (Base term) term
      ]
 
 -- | Evaluate a term to a value.