From b1cacd8e111ea4b04a2af6174ab08262dc381617 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Mon, 21 Oct 2024 10:57:48 +0200 Subject: [PATCH] Fix #3061 error message bug --- frontend/components/ErrorMessage.js | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/frontend/components/ErrorMessage.js b/frontend/components/ErrorMessage.js index 42cd688f9..d5083191d 100644 --- a/frontend/components/ErrorMessage.js +++ b/frontend/components/ErrorMessage.js @@ -370,13 +370,14 @@ export const ErrorMessage = ({ msg, stacktrace, cell_id }) => { }), }, { - pattern: /Multiple definitions for (.*)\./, + pattern: /Multiple definitions for (.*)/, display: (/** @type{string} */ x) => x.split("\n").map((line) => { - const match = line.match(/Multiple definitions for (.*)\./) + const match = line.match(/Multiple definitions for (.*)/) if (match) { - let syms_string = match[1] + // replace: remove final dot + let syms_string = match[1].replace(/\.$/, "") let syms = syms_string.split(/, | and /) let symbol_links = syms.map((what) => {