From 66c2934d6d06714bfffcaac92d26c4e44703c64a Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Tue, 7 Apr 2015 19:45:30 +0200 Subject: [PATCH] Better re-allocation rules --- src/util.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util.py b/src/util.py index 0c81577..b03a50b 100644 --- a/src/util.py +++ b/src/util.py @@ -110,9 +110,9 @@ def dimsize(x): if b0.replace('-','').isdigit(): size = "%s - (%d)"%(b1,int(b0)-1) elif b1.replace('-','').isdigit(): - size = "%d - %s"%(int(b1)+1,b0) + size = "%d - (%s)"%(int(b1)+1,b0) else: - size = "%s - %s + 1"%(b1,b0) + size = "%s - (%s) + 1"%(b1,b0) return size def put_info(text,filename):