Diff of /doc/source/knowledge_bases/special.txt [4670da] .. [4dca5a]  Maximize  Restore

Switch to side-by-side view

--- a/doc/source/knowledge_bases/special.txt
+++ b/doc/source/knowledge_bases/special.txt
@@ -185,7 +185,7 @@
     >>> engine.prove_1_goal('special.check_command((false))')
     Traceback (most recent call last):
         ...
-    CanNotProve: Can not prove special.check_command((false))
+    pyke.knowledge_engine.CanNotProve: Can not prove special.check_command((false))
 
 Command
 -------
@@ -212,7 +212,7 @@
     ...            stdin=stdin) \
     ...       as gen:
     ...         for vars, no_plan in gen:
-    ...             print vars['output']
+    ...             print(vars['output'])
     >>> run_command('command', ('echo', 'hi', 'mom'))
     ('hi mom',)
     >>> run_command('command', ('ls',))   # doctest: +NORMALIZE_WHITESPACE
@@ -238,7 +238,7 @@
     >>> run_command('command', ('false',))
     Traceback (most recent call last):
         ...
-    CalledProcessError: Command 'false' returned non-zero exit status 1
+    subprocess.CalledProcessError: Command 'false' returned non-zero exit status 1
 
 General_command
 ---------------