From 29dff59c9121c91e4d58968f3b9ee375ca93fee4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <2642849+elopez@users.noreply.github.com> Date: Sat, 9 Nov 2024 13:48:12 +0100 Subject: [PATCH] Fix typo --- lib/Echidna/SourceAnalysis/Slither.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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