From 72c54dcf15f99e963aed6ed510b6e28a5e9e25fd Mon Sep 17 00:00:00 2001
From: Andrei Stefanescu <andrei@galois.com>
Date: Tue, 5 Feb 2019 21:31:13 -0800
Subject: [PATCH] [refinement] Remove traceM statement.

---
 refinement/src/Data/Macaw/Refinement/UnknownTransfer.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/refinement/src/Data/Macaw/Refinement/UnknownTransfer.hs b/refinement/src/Data/Macaw/Refinement/UnknownTransfer.hs
index d02683b8..52b7e180 100644
--- a/refinement/src/Data/Macaw/Refinement/UnknownTransfer.hs
+++ b/refinement/src/Data/Macaw/Refinement/UnknownTransfer.hs
@@ -349,7 +349,6 @@ withDefaultRefinementContext loaded_binary k = do
             LLVM.LittleEndian
             MSM.ConcreteMutable
             (MBL.memoryImage loaded_binary)
-          traceM $ "### mem alloc count: " ++ show (LLVM.memAllocCount mem)
           MS.withArchEval arch_vals sym $ \arch_eval_fns -> do
             let ext_impl = MS.macawExtensions
                   arch_eval_fns