From be9aa2cc897ce4ff8a42617f9707c179e0eeddbd Mon Sep 17 00:00:00 2001 From: "Dobbertin, Niclas" Date: Mon, 2 Sep 2024 08:12:53 +0200 Subject: update --- modeling/model_init.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'modeling/model_init.py') diff --git a/modeling/model_init.py b/modeling/model_init.py index 1231dc6..b476c71 100644 --- a/modeling/model_init.py +++ b/modeling/model_init.py @@ -42,6 +42,7 @@ def init(): "result2", "op", "nextop", + "nextnextop", "arg1", "arg1_idx", "arg2", @@ -250,11 +251,13 @@ def init(): op done nextop ~None nextop =nextop + nextnextop =nextnextop ==> =g> isa math_goal op =nextop - nextop None + nextop =nextnextop + nextnextop None """, ) -- cgit v1.2.3