From 9638c64024428067909d1ef68b0a610babf4558e Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 1 Mar 2018 15:14:15 -0500
Subject: [PATCH] eval definitions have MonadAnalysis available.

---
 src/Data/Abstract/Evaluatable.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Data/Abstract/Evaluatable.hs b/src/Data/Abstract/Evaluatable.hs
index d00b00226..0d23e2e9e 100644
--- a/src/Data/Abstract/Evaluatable.hs
+++ b/src/Data/Abstract/Evaluatable.hs
@@ -35,6 +35,7 @@ class Evaluatable constr where
   eval :: ( AbstractValue value
           , FreeVariables term
           , MonadAddressable (LocationFor value) value m
+          , MonadAnalysis term value m
           , MonadEvaluator term value m
           , MonadFunction term value m
           , Ord (LocationFor value)