Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Diff of /doc/source/using_pyke/other_functions.txt [b1a8e8] .. [36c65d] Maximize Restore

  Switch to side-by-side view

--- a/doc/source/using_pyke/other_functions.txt
+++ b/doc/source/using_pyke/other_functions.txt
@@ -123,7 +123,7 @@
     Traceback (most recent call last):
       File "<doctest other_functions.txt[19]>", line 2, in <module>
         my_engine.prove_1_goal('error_test.goal()')
-      File "...knowledge_engine.py", line 359, 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 iter(it).next()