summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2021-12-25 02:56:24 +0100
committerstuebinm2021-12-25 02:56:24 +0100
commit73feaafc47ef54e87dbf4f29b8828697ce1ffb6e (patch)
tree971e004f470226cba539b466377a262b6bec5dd4
parent74ba22be570c72880376af9b91e9f3475b5d2b30 (diff)
better lint message
-rw-r--r--lib/Properties.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index f142493..b2d4974 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -706,7 +706,7 @@ unwrapURI sym p@(Property name _) f g = unwrapString p $ \link -> do
DomainDoesNotExist domain -> "The domain " <> domain <> " does not exist; \
\please make sure it is spelled correctly."
SchemaDoesNotExist schema ->
- "the URI schema " <> schema <> ":// does not exist."
+ "the URI schema " <> schema <> ":// cannot be used."
WrongScope schema allowed ->
"the URI schema " <> schema <> ":// cannot be used in property \
\\"" <> name <> "\"; allowed "