Update error message

Co-authored-by: Max Leske <250711+theseion@users.noreply.github.com>
This commit is contained in:
Ervin Hegedus 2025-07-27 17:09:11 +02:00 committed by GitHub
parent 7e3c807c0d
commit b8a22bb67a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -125,7 +125,7 @@ public:
catch (...) { // NOSONAR catch (...) { // NOSONAR
// we don't need to handle all exceptions, the engine's BISON parser // we don't need to handle all exceptions, the engine's BISON parser
// does not allow other symbols than numbers // does not allow other symbols than numbers
set_error(errmsg, "An unknown error occurred while parsed the value."); set_error(errmsg, "An unknown error occurred while parsing number.");
return false; return false;
} }