From b23ffe1b21284b2ba30c43b835fdcc71813db503 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Thu, 10 Sep 2020 14:04:06 -0700 Subject: [PATCH] Tweak parsed type error warning. --- 13/parsed_type.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/13/parsed_type.cpp b/13/parsed_type.cpp index cd73792..d119509 100644 --- a/13/parsed_type.cpp +++ b/13/parsed_type.cpp @@ -17,8 +17,8 @@ type_ptr parsed_type_app::to_type( std::ostringstream error_stream; error_stream << "invalid application of type "; error_stream << name; - error_stream << "(" << base_type->arity << " arguments expected, "; - error_stream << "but " << arguments.size() << " were provided)"; + error_stream << " (" << base_type->arity << " argument(s) expected, "; + error_stream << "but " << arguments.size() << " provided)"; throw type_error(error_stream.str()); }