From 3b0dc374bb302d6a3003e2bb6be1696f4048840f Mon Sep 17 00:00:00 2001 From: Philip Eisenlohr Date: Wed, 7 Oct 2015 01:07:56 +0000 Subject: [PATCH] =?UTF-8?q?now=20using=20=E2=80=98emph=E2=80=99=20in=20rep?= =?UTF-8?q?orting=20function=20instead=20of=20code=20doubling.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- lib/damask/util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/damask/util.py b/lib/damask/util.py index 62ee6c553..2985130ad 100644 --- a/lib/damask/util.py +++ b/lib/damask/util.py @@ -18,7 +18,7 @@ def croak(what, # ----------------------------- def report(who,what): # ----------------------------- - croak( ('\033[1m'+str(who)+'\033[0m' if who else '') + (': '+what if what else '') ) + croak( (emph(who) if who else '') + (': '+what if what else '') ) # ----------------------------- def emph(what):