Deprecate irrelevant autotest comments in the cnfvar

diff --git a/src/cnfvar.py b/src/cnfvar.py
index 5999ba6..551093a 100644 (file)
--- a/src/cnfvar.py
+++ b/src/cnfvar.py
@@ -713,11 +713,6 @@ def write_cnf_raw(*argv, **kw_argv):
 
 def output_cnf(root, out, renumber=False, bytes=True):
     cnf = cnf_root(root)
-    # Cthulhu (a.k.a Autotest) hates us so much he replaced the innocuous
-    # stdout with some chimera that isn't derived from ``file``, rendering
-    # the following sanity check moot.
-    # if not isinstance(out, file):
-    #     raise TypeError("%s (%s) is not a stream." % (out, type(out)))
     if renumber is True:
         _count = renumber_vars(root)
     if is_cnf(cnf) is True: