diff options
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 """, ) |