diff --git a/lib/Echidna/SourceAnalysis/Slither.hs b/lib/Echidna/SourceAnalysis/Slither.hs index 2c5688759..9d5a486d7 100644 --- a/lib/Echidna/SourceAnalysis/Slither.hs +++ b/lib/Echidna/SourceAnalysis/Slither.hs @@ -148,7 +148,7 @@ runSlither :: FilePath -> SolConf -> IO SlitherInfo runSlither fp solConf = if solConf.disableSlither then do hPutStrLn stderr $ - "WARNING: slither was expliticly disabled. Echidna uses Slither (https://github.com/crytic/slither)" + "WARNING: Slither was explicitly disabled. Echidna uses Slither (https://github.com/crytic/slither)" <> " to perform source analysis, which makes fuzzing more effective. You should enable it." pure emptySlitherInfo else findExecutable "slither" >>= \case