Commit 4959d190 authored by Michael Hanus's avatar Michael Hanus
Browse files

Fix word

parent 5f98327e
......@@ -2,7 +2,7 @@
--- A universal REPL which can be used on top of a Curry compiler
---
--- @author Michael Hanus
--- @version October 2021
--- @version February 2022
------------------------------------------------------------------------------
module REPL.Main where
......@@ -107,7 +107,7 @@ processArgsAndStart rst (arg:args)
mbrst <- processCommand rst (tail (unwords (arg:cmdargs)))
maybe (printHelp rst) (\rst' -> processArgsAndStart rst' more) mbrst
| otherwise
= writeErrorMsg ("unknown command: " ++ unwords (arg:args)) >> printHelp rst
= writeErrorMsg ("unknown option: " ++ unwords (arg:args)) >> printHelp rst
where
versionOpts = ["--compiler-name", "--numeric-version", "--base-version"]
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment