From f8fea56c6f966bc048204ca283c9cedff96c22b7 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 1 Mar 2018 14:57:45 -0500
Subject: [PATCH] Stub in a module for the MonadAnalysis interface.

---
 semantic-diff.cabal              | 1 +
 src/Control/Abstract/Analysis.hs | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 src/Control/Abstract/Analysis.hs

diff --git a/semantic-diff.cabal b/semantic-diff.cabal
index a3153cad3..18152738f 100644
--- a/semantic-diff.cabal
+++ b/semantic-diff.cabal
@@ -31,6 +31,7 @@ library
                      , Assigning.Assignment.Table
                      -- Control structures & interfaces for abstract interpretation
                      , Control.Abstract.Addressable
+                     , Control.Abstract.Analysis
                      , Control.Abstract.Evaluator
                      , Control.Abstract.Function
                      -- Control flow
diff --git a/src/Control/Abstract/Analysis.hs b/src/Control/Abstract/Analysis.hs
new file mode 100644
index 000000000..91da514e0
--- /dev/null
+++ b/src/Control/Abstract/Analysis.hs
@@ -0,0 +1 @@
+module Control.Abstract.Analysis where