summaryrefslogtreecommitdiff
path: root/modeling/productions_math.py
diff options
context:
space:
mode:
Diffstat (limited to 'modeling/productions_math.py')
-rw-r--r--modeling/productions_math.py2
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)