From d3a81759c311a9ccfc4d17d2cb9347b9367cb7d1 Mon Sep 17 00:00:00 2001
From: "Dobbertin, Niclas" <niclas.dobbertin@mailbox.org>
Date: Wed, 31 Jul 2024 00:00:03 +0200
Subject: env progr

---
 modeling/model_init.py | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'modeling/model_init.py')

diff --git a/modeling/model_init.py b/modeling/model_init.py
index a6ca3ac..7fb1c84 100644
--- a/modeling/model_init.py
+++ b/modeling/model_init.py
@@ -241,4 +241,21 @@ def init():
                     f"plus{i}{j}", "math_op", op="add", arg1=i, arg2=j, result=i + j
                 )
             )
+
+    Model.productionstring(
+        name="continue_with_next_op",
+        string="""
+            =g>
+            isa     math_goal
+            op      done
+            nextop  ~None
+            nextop  =nextop
+            ==>
+            =g>
+            isa     math_goal
+            op      =nextop
+            nextop  None
+        """,
+    )
+
     return Model, DM, goal, imaginal, env
-- 
cgit v1.2.3