diff options
Diffstat (limited to 'modeling/productions_math.py')
-rw-r--r-- | modeling/productions_math.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modeling/productions_math.py b/modeling/productions_math.py index 42c08da..aa06ffb 100644 --- a/modeling/productions_math.py +++ b/modeling/productions_math.py @@ -54,7 +54,7 @@ def start(): # op, arg1, arg2 = wait_input() Model, DM, goal, imaginal, env = init() # add_goal(goal, op, arg1, arg2) - add_proc(goal, "proc6") + add_proc(goal, "proc3") envs = model_env.get_env() general_prod(Model) |