From 5f12c3da88f14517912a61986e72b01e0ebdf9ea Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Fri, 8 Feb 2019 17:31:30 -0800
Subject: [PATCH] [symbolic] Remove unneeded debug import.

---
 symbolic/src/Data/Macaw/Symbolic/Memory.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/symbolic/src/Data/Macaw/Symbolic/Memory.hs b/symbolic/src/Data/Macaw/Symbolic/Memory.hs
index 8851d6ef..fb21e056 100644
--- a/symbolic/src/Data/Macaw/Symbolic/Memory.hs
+++ b/symbolic/src/Data/Macaw/Symbolic/Memory.hs
@@ -122,7 +122,6 @@ import qualified Data.Macaw.Symbolic as MS
 
 import Prelude
 
-import Debug.Trace
 
 -- | A configuration knob controlling how the initial contents of the memory
 -- model are populated