From 5f5de06e70b2fffa847e4433aa5eff9b3641c948 Mon Sep 17 00:00:00 2001
From: Joe Hendrix <jhendrix@galois.com>
Date: Fri, 6 Nov 2020 00:01:08 -0800
Subject: [PATCH] Remove unused constraint on MemAddr instance.

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

diff --git a/base/src/Data/Macaw/Memory.hs b/base/src/Data/Macaw/Memory.hs
index 71d2e9f0..bd82afe5 100644
--- a/base/src/Data/Macaw/Memory.hs
+++ b/base/src/Data/Macaw/Memory.hs
@@ -1042,7 +1042,7 @@ instance Show (MemAddr w) where
     . showString "+"
     . shows off
 
-instance MemWidth w => Pretty (MemAddr w) where
+instance Pretty (MemAddr w) where
   pretty = text . show
 
 -- | Given an absolute address, this returns a segment and offset into the segment.