From 44a69c31499166f94e2a21ac73c558ec3934209e Mon Sep 17 00:00:00 2001
From: Maxim Evtush <154841002+maximevtush@users.noreply.github.com>
Date: Mon, 10 Feb 2025 13:49:47 +0100
Subject: [PATCH] Update spanningForest.qnt

---
 quint/gossip-spanning-forest/spanningForest.qnt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/quint/gossip-spanning-forest/spanningForest.qnt b/quint/gossip-spanning-forest/spanningForest.qnt
index af8c671..f8ae0d4 100644
--- a/quint/gossip-spanning-forest/spanningForest.qnt
+++ b/quint/gossip-spanning-forest/spanningForest.qnt
@@ -3,7 +3,7 @@
 // 👉 This is WORK IN PROGRESS; not everything here is correct 👈 
 
 /*
-Dynamic Spanning Forest gossip protocol. Or Dinamic Optimal Graph (DOG) gossip protocol.
+Dynamic Spanning Forest gossip protocol. Or Dynamic Optimal Graph (DOG) gossip protocol.
 
 Briefly, if node A receives from B a transaction that it already has, this means that there must
 exist a cycle in the network topology, so A tells B to stop sending transactions. So the idea is
@@ -376,4 +376,4 @@ module spanningForest {
     def s6 = s("n6")
     def s7 = s("n7")
 
-}
\ No newline at end of file
+}