Skip to content

Commit

Permalink
Fixing build
Browse files Browse the repository at this point in the history
  • Loading branch information
msooseth committed Jan 16, 2024
1 parent 1e9bcba commit 9376006
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/test.hs
Original file line number Diff line number Diff line change
Expand Up @@ -4203,7 +4203,7 @@ instance Arbitrary GenWriteStorageLoad where
genStorageLoad :: Int -> Gen (Expr EWord)
genStorageLoad sz = liftM2 SLoad key subStore
where
subStore = genStorageMap False (sz `div` 10)
subStore = genStorage (sz `div` 10)
key = genStorageKey

data Invocation
Expand Down

0 comments on commit 9376006

Please sign in to comment.