Correct mistaken comment.

darius · darius · commit 7d65328fe42d · 2016-04-11T15:10:11.000-04:00
diff --git a/logic.py b/logic.py
@@ -91,7 +91,7 @@ def tell(self, sentence):
         self.clauses.extend(conjuncts(to_cnf(sentence)))
 
     def ask_generator(self, query):
-        "Return the empty substitution {} if KB entails query; else return None."
+        "Yield the empty substitution {} if KB entails query; else no results."
         if tt_entails(Expr('&', *self.clauses), query):
             yield {}
 
