diff options
Diffstat (limited to 'test/test_all.py')
| -rw-r--r-- | test/test_all.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/test_all.py b/test/test_all.py index cb0adf64..70ab8e66 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -372,7 +372,7 @@ By default, no tag is ommited." % ", ".join(TAGS.keys()), default="") try: import z3 except ImportError: - print "%(red)s[Z3]%(end)s" % cosmetics.colors + \ + print "%(red)s[Z3]%(end)s " % cosmetics.colors + \ "Z3 and its python binding are necessary for TranslatorZ3." if TAGS["z3"] not in exclude_tags: exclude_tags.append(TAGS["z3"]) |