| changeset 74092 | 1d26f1a49480 |
| parent 74091 | 5721f1843e93 |
| child 74093 | dc962d4248ca |
--- a/src/Tools/Haskell/Haskell.thy Sat Jul 31 12:23:15 2021 +0200 +++ b/src/Tools/Haskell/Haskell.thy Sat Jul 31 12:24:13 2021 +0200 @@ -250,7 +250,7 @@ Just y -> Just (i, y) separate :: a -> [a] -> [a] -separate s (x : (xs @ (_ : _))) = x : s : separate s xs +separate s (x : xs @ (_ : _)) = x : s : separate s xs separate _ xs = xs;