From a2a28da43291bbc85cfb11563a32e4d17eaf1d6b Mon Sep 17 00:00:00 2001 From: Plamen Dimitrov Date: Fri, 25 Jan 2019 19:33:15 +0200 Subject: [PATCH] Deprecate irrelevant autotest comments in the cnfvar --- src/cnfvar.py | 5 ----- 1 files changed, 0 insertions(+), 5 deletions(-) diff --git a/src/cnfvar.py b/src/cnfvar.py index 5999ba6..551093a 100644 --- 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: -- 1.7.1