From 01e8fc0357ecc8c3ee0e5e307cfdef4c7607ac9e Mon Sep 17 00:00:00 2001 From: Jost Berthold Date: Tue, 26 Nov 2024 22:59:12 +1100 Subject: [PATCH] Prety pretty MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Petar Maksimović --- booster/library/Booster/CLOptions.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/booster/library/Booster/CLOptions.hs b/booster/library/Booster/CLOptions.hs index 5bea60d895..60bb27511d 100644 --- a/booster/library/Booster/CLOptions.hs +++ b/booster/library/Booster/CLOptions.hs @@ -184,7 +184,7 @@ parseLogOptions = ( metavar "PRETTY_PRINT" <> value [Decoded, Truncated] <> long "pretty-print" - <> help "Prety print options for kore terms: decode, infix, truncated, with-injections" + <> help "Pretty print options for kore terms: decode, infix, truncated, with-injections" <> showDefault ) where