Update quint/test/parsing/quintParserFrontend.test.ts

Co-authored-by: Gabriela Moreira <gabrielamoreira05@gmail.com>
informalsystems · Nov 8, 2023 · cafe324 · cafe324
1 parent d2f5d3f
commit cafe324
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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', () => {