From 41d0cf15736ff3f285f2ef19789477911127eea8 Mon Sep 17 00:00:00 2001
From: Ben Perez <bperez@galois.com>
Date: Thu, 20 Jul 2017 10:58:26 -0700
Subject: [PATCH] Modified Core.hs

---
 src/Data/Macaw/CFG/Core.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Data/Macaw/CFG/Core.hs b/src/Data/Macaw/CFG/Core.hs
index f1c07306..8640bda6 100644
--- a/src/Data/Macaw/CFG/Core.hs
+++ b/src/Data/Macaw/CFG/Core.hs
@@ -41,7 +41,7 @@ module Data.Macaw.CFG.Core
   , ppValueAssignments
   , ppValueAssignmentList
   -- * RegState
-  , RegState
+  , RegState(..)
   , regStateMap
   , boundValue
   , cmpRegState