diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2021-12-07 21:47:50 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2021-12-07 21:47:50 +0100 |
| commit | 9e07f08c019a4951fff0a969ca3fb88c8a0d9569 (patch) | |
| tree | b53a5eff812575ad4dcc284c8ff1b3bbee7bad39 /src/Storage | |
| parent | 709a4a3698cb7cf280dbcc63acf2824d88d1a8c6 (diff) | |
Storage: guard changes on watched heads
Diffstat (limited to 'src/Storage')
| -rw-r--r-- | src/Storage/Internal.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Storage/Internal.hs b/src/Storage/Internal.hs index 7e593f8..3a05029 100644 --- a/src/Storage/Internal.hs +++ b/src/Storage/Internal.hs @@ -154,7 +154,7 @@ newtype Generation = Generation Int deriving (Eq, Show) data Head' c a = Head HeadID (Stored' c a) - deriving (Show) + deriving (Eq, Show) newtype HeadID = HeadID UUID deriving (Eq, Ord, Show) |