diff options
author | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-09-02 08:12:53 +0200 |
---|---|---|
committer | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-09-02 08:12:53 +0200 |
commit | be9aa2cc897ce4ff8a42617f9707c179e0eeddbd (patch) | |
tree | ced84404b1b0838081664fab0c5ce8a12c7432bd /modeling/model_init.py | |
parent | 7c1d45b574de33dafcd93b251fc089acff313292 (diff) |
update
Diffstat (limited to 'modeling/model_init.py')
-rw-r--r-- | modeling/model_init.py | 5 |
1 files changed, 4 insertions, 1 deletions
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 """, ) |