From 9f93fd09c9cab6c280319940137943d0a39e7dd7 Mon Sep 17 00:00:00 2001 From: Tristan Ravitch Date: Fri, 13 Apr 2018 09:06:03 -0700 Subject: [PATCH] symbolic: Expose the constructor for MacawSimulatorState This is needed to run the simulator --- symbolic/src/Data/Macaw/Symbolic.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/symbolic/src/Data/Macaw/Symbolic.hs b/symbolic/src/Data/Macaw/Symbolic.hs index f1922f10..0e964861 100644 --- a/symbolic/src/Data/Macaw/Symbolic.hs +++ b/symbolic/src/Data/Macaw/Symbolic.hs @@ -16,7 +16,7 @@ module Data.Macaw.Symbolic , Data.Macaw.Symbolic.CrucGen.MacawExt , Data.Macaw.Symbolic.CrucGen.CrucGen , Data.Macaw.Symbolic.CrucGen.MemSegmentMap - , MacawSimulatorState + , MacawSimulatorState(..) , runCodeBlock -- , runBlocks , mkBlocksCFG