From ca9fa97cd61d47f1b1a15dcb0015252d0f9886a8 Mon Sep 17 00:00:00 2001
From: Gabriela Moreira <gabrielamoreira05@gmail.com>
Date: Tue, 10 Oct 2023 08:00:12 -0300
Subject: [PATCH] Update quint/src/parsing/parseErrors.ts

Co-authored-by: Igor Konnov <igor@informal.systems>
---
 quint/src/parsing/parseErrors.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/quint/src/parsing/parseErrors.ts b/quint/src/parsing/parseErrors.ts
index f01c6f57d..196758e95 100644
--- 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',