plint

commit d30776c99ba0ee7ee0331bc224c1787ca86c0474
parent 19b1732d209720175e00739488619578b340b17d
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sun, 29 Nov 2020 19:28:43 +0100

fix bug in error display

thanks: Louis Abraham
<714483c4-fc79-781a-2709-8e3934bd3602@yahoo.fr>

Diffstat:
plint/chunks.py
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/plint/chunks.py b/plint/chunks.py
@@ -319,7 +319,7 @@ class Chunks:
                 bounds = self.get_weights_bounds()
                 bounds = [str(x) for x in bounds]
                 lines['weights'] += " (total: " + ('-'.join(bounds)
-                                                   if bounds[1] > bounds[0] else bounds[0]) + ")"
+                                                   if bounds[1] != bounds[0] else bounds[0]) + ")"
             return ["> " + lines[key] for key in keys if len(lines[key].strip()) > 0]
         elif fmt == "json":
             ret = {'chunks': []}