diff options
-rw-r--r-- | Arbitrary.patch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Arbitrary.patch b/Arbitrary.patch index 151ea0f..8967f0b 100644 --- a/Arbitrary.patch +++ b/Arbitrary.patch | |||
@@ -46,6 +46,15 @@ | |||
46 | return (CompressionAlgorithm x1) | 46 | return (CompressionAlgorithm x1) |
47 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" | 47 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" |
48 | 48 | ||
49 | @@ -135,7 +134,7 @@ | ||
50 | 2 -> return KeyCompromised | ||
51 | 3 -> return KeyRetired | ||
52 | 4 -> return UserIDInvalid | ||
53 | - 5 -> do x1 <- arbitrary | ||
54 | + 5 -> do x1 <- suchThat arbitrary (`notElem` [00,01,02,03,32]) | ||
55 | return (RevocationCode x1) | ||
56 | _ -> error "FATAL ERROR: Arbitrary instance, logic bug" | ||
57 | |||
49 | @@ -134,7 +133,7 @@ | 58 | @@ -134,7 +133,7 @@ |
50 | 59 | ||
51 | instance Arbitrary MPI where | 60 | instance Arbitrary MPI where |