From 5b9f30fc235cea7813c7edb0a5b6399c877bc7b5 Mon Sep 17 00:00:00 2001
From: Igor Konnov <igor@konnov.phd>
Date: Wed, 23 Oct 2024 14:12:44 +0200
Subject: [PATCH] update the nodejs version in .nvmrc

---
 quint/.nvmrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/quint/.nvmrc b/quint/.nvmrc
index 141e9a2a2..d9875d47e 100644
--- a/quint/.nvmrc
+++ b/quint/.nvmrc
@@ -1 +1 @@
-16.11.1
+19.9.0