]> gitweb.ps.run Git - iftint/commitdiff
remove editingNode
authorPatrick <patrick.schoenberger@posteo.de>
Thu, 10 Aug 2023 21:29:56 +0000 (23:29 +0200)
committerPatrick <patrick.schoenberger@posteo.de>
Thu, 10 Aug 2023 21:29:56 +0000 (23:29 +0200)
main2.c

diff --git a/main2.c b/main2.c
index 3dcbf8448b9ac57a6760cf51b6fc67875e946c74..b2376c28d9897582b778d90d048d9d4303b1a7ca 100644 (file)
--- a/main2.c
+++ b/main2.c
@@ -328,8 +328,6 @@ GetNode() {
     } InputState;
     InputState inputState;
 
-    bool editingNode = false;
-
     while (true) {
         c = GetChar();