This commit is contained in:
Dmitry Zuikov 2024-03-12 13:29:19 +03:00
parent 38e5a37b5a
commit a22c530952
1 changed files with 1 additions and 1 deletions

View File

@ -78,7 +78,7 @@ instance Pretty (LWWRef e) where
) )
where where
seqno = parens ( "seq" <+> pretty lwwSeq ) seqno = parens ( "seq" <+> pretty lwwSeq )
val = parens ( "value" <+> pretty lwwValue ) val = parens ( "value" <+> dquotes (pretty lwwValue) )
proof | isNothing lwwProof = mempty proof | isNothing lwwProof = mempty
| otherwise = parens ( "proof" <+> pretty lwwProof) | otherwise = parens ( "proof" <+> pretty lwwProof)