Diff of /doc/source/using_pyke/other_functions.txt [1c77af] .. [6ece17]  Maximize  Restore

  Switch to side-by-side view

--- a/doc/source/using_pyke/other_functions.txt
+++ b/doc/source/using_pyke/other_functions.txt
@@ -118,7 +118,7 @@
     Traceback (most recent call last):
       File "<doctest other_functions.txt[16]>", line 2, in <module>
         my_engine.prove_1_goal('error_test.goal()')
-      File "...knowledge_engine.py", line 360, in prove_1_goal
+      File "...knowledge_engine.py", line 366, in prove_1_goal
         return goal.compile(goal_str).prove_1(self, **args)
       File "...goal.py", line 47, in prove_1
         return next(iter(it))