diff options
| author | Thomas Bauereiss | 2017-06-21 12:34:52 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-06-21 12:34:52 +0100 |
| commit | 71d99513b1b2548f7ab02322433bcce86fece124 (patch) | |
| tree | 6d7cdecf9158029fb1f428bf4033bdcddc72c813 /src/gen_lib/sail_values.lem | |
| parent | 649d5fd1e9ab474e73c16389335b02de77dd3700 (diff) | |
| parent | 027d91f0cf98c97fa0f519cb5f90883a81655ae5 (diff) | |
Merge
Diffstat (limited to 'src/gen_lib/sail_values.lem')
| -rw-r--r-- | src/gen_lib/sail_values.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem index bccdd8f2..d7318567 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 |