Diff of /doc/source/using_pyke.txt [9c0a10] .. [f16399] Maximize Restore

  Switch to unified view

a/doc/source/using_pyke.txt b/doc/source/using_pyke.txt
...
...
331
    ... except:
331
    ... except:
332
    ...     krb_traceback.print_exc(None, sys.stdout)   # sys.stdout needed for doctest
332
    ...     krb_traceback.print_exc(None, sys.stdout)   # sys.stdout needed for doctest
333
    Traceback (most recent call last):
333
    Traceback (most recent call last):
334
      File "<doctest using_pyke.txt[37]>", line 2, in <module>
334
      File "<doctest using_pyke.txt[37]>", line 2, in <module>
335
        my_engine.prove_1('error_test', 'goal', (), 0)
335
        my_engine.prove_1('error_test', 'goal', (), 0)
336
      File "...knowledge_engine.py", line 310, in prove_1
336
      File "...knowledge_engine.py", line 305, in prove_1
337
        return iter(it).next()
337
        return iter(it).next()
338
      File "...knowledge_engine.py", line 293, in gen
338
      File "...knowledge_engine.py", line 288, in gen
339
        for plan in it:
339
        for plan in it:
340
      File "...rule_base.py", line 46, in next
340
      File "...rule_base.py", line 46, in next
341
        return self.iterator.next()
341
        return self.iterator.next()
342
      File "...knowledge_engine.py", line 40, in from_iterable
342
      File "...knowledge_engine.py", line 40, in from_iterable
343
        for x in iterable: yield x
343
        for x in iterable: yield x