From 027d91f0cf98c97fa0f519cb5f90883a81655ae5 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 19 Jun 2017 11:41:00 +0100
Subject: Fix Show on Lem bitvector

---
 src/gen_lib/sail_values.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem
index ecfd3ce7..74642ce1 100644
--- a/src/gen_lib/sail_values.lem
+++ b/src/gen_lib/sail_values.lem
@@ -214,7 +214,7 @@ let bvget_start (Bitvector _ s _) = s
 let bvget_elems (Bitvector elems _ _) = elems
 let bvlength (Bitvector bs _ _) = integerFromNat (word_length bs)
 
-instance forall 'a. Show 'a => (Show (bitvector 'a))
+instance forall 'a. (Show (bitvector 'a))
   let show = showBitvector
 end
 
-- 
cgit v1.2.3