Update quint/src/parsing/parseErrors.ts

Co-authored-by: Igor Konnov <[email protected]>
informalsystems · Oct 10, 2023 · ca9fa97 · ca9fa97
1 parent efbc6e7
commit ca9fa97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quint/src/parsing/parseErrors.ts b/quint/src/parsing/parseErrors.ts
@@ -1,6 +1,6 @@
 import { QuintError } from '../quintError'
 
-export function undercaseTypeError(id: bigint, name: string): QuintError {
+export function lowercaseTypeError(id: bigint, name: string): QuintError {
   return {
     code: 'QNT007',
     message: 'type names must start with an uppercase letter',