diff options
-rw-r--r-- | TreeSearch.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/TreeSearch.hs b/TreeSearch.hs index 0a5df28..105603a 100644 --- a/TreeSearch.hs +++ b/TreeSearch.hs @@ -80,10 +80,10 @@ skipSame (TreePos Full a -> Maybe (TreePos Full a)) -> TreePos Full a -> Maybe (TreePos Full a) -skipSame next loc = - case next loc of +skipSame next' loc = + case next' loc of Nothing -> Nothing Just loc' -> if label loc' == label loc - then skipSame next loc' + then skipSame next' loc' else Just loc' |