From 7ed7f2022792a82969a5d5596951b85df9be1861 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sat, 13 Apr 2024 15:30:07 -0700
Subject: [PATCH] Add missing edge

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 Language.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Language.agda b/Language.agda
index 7ece4ea..de86158 100644
--- a/Language.agda
+++ b/Language.agda
@@ -352,7 +352,7 @@ module Graphs where
         buildCfg (while _ repeat s) =
             (buildCfg s ⟨⊗⟩ pushEmptyBlock ⟨⊗⟩ pushEmptyBlock)
             update (λ { g ((idx₁ , idx₂) , idx , idx') →
-                      addEdges g ((idx , idx') ∷ (idx₂ , idx) ∷ []) })
+                      addEdges g ((idx , idx') ∷ (idx , idx₁) ∷ (idx₂ , idx) ∷ []) })
             map (λ { g ((idx₁ , idx₂) , idx , idx') → (idx , idx') })
 
 open import Lattice.MapSet _≟ˢ_