From f2190d648f03b2a402ea3238db99abf9dffce385 Mon Sep 17 00:00:00 2001
From: joneugster <eugster.jon@gmail.com>
Date: Thu, 7 Dec 2023 02:28:57 +0100
Subject: [PATCH] fix manual dependencies being added twice to svg

---
 server/GameServer/Commands.lean | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/server/GameServer/Commands.lean b/server/GameServer/Commands.lean
index e9e193f..0789c59 100644
--- a/server/GameServer/Commands.lean
+++ b/server/GameServer/Commands.lean
@@ -989,6 +989,11 @@ elab "MakeGame" : command => do
         logError m!"{w1} depends on {w2} because of {items.toList}."
   else
     worldDependsOnWorlds ← removeTransitive worldDependsOnWorlds
+
+    -- need to delete all existing edges as they are already present in `worldDependsOnWorlds`.
+    modifyCurGame fun game =>
+      pure {game with worlds := {game.worlds with edges := Array.empty}}
+
     for (dependentWorldId, worldIds) in worldDependsOnWorlds.toArray do
       modifyCurGame fun game =>
         pure {game with worlds := {game.worlds with