From 18ebe6e6ca4299b7f903426502c5a5fb73747c81 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 27 Dec 2021 22:32:32 +0100
Subject: ...

---
 src/Tonkadur/Types.elm | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'src/Tonkadur/Types.elm')

diff --git a/src/Tonkadur/Types.elm b/src/Tonkadur/Types.elm
index 504695b..ec6c3c2 100644
--- a/src/Tonkadur/Types.elm
+++ b/src/Tonkadur/Types.elm
@@ -97,7 +97,8 @@ type alias State =
       available_options : (List Option),
       memorized_target : Value,
 
-      last_instruction_effect : InstructionEffect
+      last_instruction_effect : InstructionEffect,
+      freed_addresses : (List String)
    }
 
 --------------------------------------------------------------------------------
@@ -120,7 +121,8 @@ new_state =
       available_options = [],
       memorized_target = (PointerValue [""]),
 
-      last_instruction_effect = MustContinue
+      last_instruction_effect = MustContinue,
+      freed_addresses = []
    }
 
 value_to_bool : Value -> Bool
@@ -302,3 +304,6 @@ apply_at_address address fun memory =
             )
             memory
          )
+
+allow_continuing : State -> State
+allow_continuing state = {state | last_instruction_effect = MustContinue}
-- 
cgit v1.2.3-70-g09d2