From 21ad9bcf936a3cb67ec38f09bb38cf8af7b8374e Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 9 Jul 2024 15:18:56 -0600 Subject: [PATCH] Provide a better error message. --- source/base/parameter_handler.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/source/base/parameter_handler.cc b/source/base/parameter_handler.cc index 15ccac94b2..a5a6317bef 100644 --- a/source/base/parameter_handler.cc +++ b/source/base/parameter_handler.cc @@ -581,7 +581,9 @@ ParameterHandler::parse_input(const std::string &filename, parse_input_from_json(is, skip_undefined); else AssertThrow(false, - ExcMessage("Unknown input file name extension. Supported types " + ExcMessage("The given input file <" + filename + + "> has a file name extension <" + file_ending + + "> that is not recognized. Supported types " "are .prm, .xml, and .json.")); if (assert_mandatory_entries_are_found) -- 2.39.5