FIX counter error

This commit is contained in:
Nathan Dwarshuis 2023-01-29 11:36:12 -05:00
parent 354310bf08
commit c791c5a692
1 changed files with 1 additions and 1 deletions

View File

@ -147,7 +147,7 @@ zipperMatch' z x = go z
matchDec :: Match -> Maybe Match matchDec :: Match -> Maybe Match
matchDec m = case mTimes m of matchDec m = case mTimes m of
Just 0 -> Nothing Just 1 -> Nothing
Just n -> Just $ m {mTimes = Just $ n - 1} Just n -> Just $ m {mTimes = Just $ n - 1}
Nothing -> Just m Nothing -> Just m