From cafe324c1e0506a132b637ca9c59a4227d5a27cc Mon Sep 17 00:00:00 2001 From: Igor Konnov Date: Wed, 8 Nov 2023 13:54:44 +0100 Subject: [PATCH] Update quint/test/parsing/quintParserFrontend.test.ts Co-authored-by: Gabriela Moreira --- quint/test/parsing/quintParserFrontend.test.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/quint/test/parsing/quintParserFrontend.test.ts b/quint/test/parsing/quintParserFrontend.test.ts index a25730900..299ff292b 100644 --- a/quint/test/parsing/quintParserFrontend.test.ts +++ b/quint/test/parsing/quintParserFrontend.test.ts @@ -213,9 +213,9 @@ describe('syntax errors', () => { }) }) -// Test the JSON error output. Most of the tests here should migrate to the +// Test the JSON error output. Most of the tests here should migrate to the // above test suite called 'syntax errors' or other test suites for the later -// phases. It is sufficient to have a few tests that compare JSON. For the +// phases. It is sufficient to have a few tests that compare JSON. For the // rest, we are interested in checking the error messages, not the JSON files. describe('parse errors', () => { it('error on unresolved name', () => {