From ae2a518d0dc1372144e7867fc3ebd0f64f5577b7 Mon Sep 17 00:00:00 2001
From: zoep <zoe.paraskevopoulou@gmail.com>
Date: Tue, 20 Aug 2024 22:09:59 +0300
Subject: [PATCH] Nits

---
 src/Act/Consistency.hs | 2 +-
 src/Act/Print.hs       | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/Act/Consistency.hs b/src/Act/Consistency.hs
index c4e7b20b..a24f3028 100644
--- a/src/Act/Consistency.hs
+++ b/src/Act/Consistency.hs
@@ -83,7 +83,7 @@ mkCaseQuery props behvs@((Behaviour _ _ (Interface ifaceName decls) preconds _ _
         , _minitargs = []
         }
 mkCaseQuery _ [] = error "Internal error: behaviours cannot be empty"
-  
+
 -- | Checks nonoverlapping and exhaustiveness of cases
 checkCases :: Act -> Solvers.Solver -> Maybe Integer -> Bool -> IO ()
 checkCases (Act _ contracts) solver' smttimeout debug = do
diff --git a/src/Act/Print.hs b/src/Act/Print.hs
index a5244205..3968c3f5 100644
--- a/src/Act/Print.hs
+++ b/src/Act/Print.hs
@@ -230,8 +230,7 @@ prettyInvPred = prettyExp . untime . fst
       Var p t at a -> Var p t at a
 
 
-
--- backwards compatibility with Text.PrettyPrint.ANSI.Leijen
+-- | Doc type for terminal output
 type DocAnsi = Doc Term.AnsiStyle
 
 -- | prints a Doc, with wider output than the built in `putDoc`