Fix small newline issues

quint/cli-tests.md

@@ -383,11 +383,13 @@ Regression test for [#1108](https://github.com/informalsystems/quint/issues/1108
     quint parse testFixture/_1052one.qnt
 
 ### OK on typecheck SuperSpec via Unix hashbang
+
 See [#1500](https://github.com/informalsystems/quint/issues/1500).
+
 <!-- !test exit 0 -->
 <!-- !test check typecheck SuperSpec via Unix hashbang -->
 ```
 if [ `uname -s` == 'Linux' -o `uname -s` == 'Darwin' ]; then
     ./testFixture/SuperSpec.qnt
 fi
-```
+```

quint/src/generated/Quint.g4

@@ -16,6 +16,7 @@ grammar Quint;
 import { quintErrorToString } from '../quintError'
 
 }
+
 // entry point for the parser
 modules : HASHBANG_LINE? module+ EOF;
 

quint/test/parsing/quintParserFrontend.test.ts

@@ -177,6 +177,7 @@ describe('syntax errors', () => {
     assert.equal(errors[0].message, `token recognition error at: '~'`)
     assert.equal(errors[0].code, 'QNT000')
   })
+
   it('error on unexpected hash', () => {
     // # is an unexpected token
     const code = 'module unexpectedToken { def access(p) = { p # name } }'
@@ -185,6 +186,7 @@ describe('syntax errors', () => {
     assert.equal(errors[0].message, `token recognition error at: '# '`)
     assert.equal(errors[0].code, 'QNT000')
   })
+
   it('error on unexpected hashbang', () => {
     // hashbang '#!' is only valid at the beginning of a file
     const code = 'module unexpectedToken { def access(p) = { p #! name } }'
@@ -193,6 +195,7 @@ describe('syntax errors', () => {
     assert.equal(errors[0].message, `token recognition error at: '#! name } }'`)
     assert.equal(errors[0].code, 'QNT000')
   })
+
   it('error on multiple hashbangs', () => {
     // only a single hashbang '#!' is valid at the beginning of a file
     const code = '#!foo\n#!bar\nmodule unexpectedToken { def access = { true } }'

quint/testFixture/SuperSpec.qnt

@@ -233,4 +233,4 @@ module withConsts {
 
   // create an instance of Proto by using '*'
   // import Proto(*) as Inst2
-}
+}