diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-01-18 21:39:50 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-01-18 21:39:50 +0100 |
| commit | 49b899a0ed2fa80b7042281834f46b9a38a24b0e (patch) | |
| tree | 1834f701310c2a2c42888a16471e5872530d2864 | |
| parent | b309d85499175ef3b8dbbc71f7fd57a5d0660f88 (diff) | |
Fix typo in gdb option help text
| -rw-r--r-- | src/Main.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Main.hs b/src/Main.hs index d671050..6444058 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -297,7 +297,7 @@ options = "default timeout in seconds with microsecond precision" , Option ['g'] ["gdb"] (NoArg (\opts -> opts { optGDB = True })) - "run GDB and attach spawned pracesses" + "run GDB and attach spawned processes" ] main :: IO () |