Prety pretty

Co-authored-by: Petar Maksimović <[email protected]>
runtimeverification · Nov 26, 2024 · 01e8fc0 · 01e8fc0
1 parent d8f2db5
commit 01e8fc0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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