Nits

ethereum · Aug 20, 2024 · ae2a518 · ae2a518
1 parent c8883cd
commit ae2a518
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git 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
@@ -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`