Fixing int issue is maps

2014-09-12 16:43:11 +02:00 · 2014-09-12 16:43:11 +02:00 · fd7b6ab619
parent bd15622d9f
commit fd7b6ab619
1 changed files with 1 additions and 1 deletions
--- a/src/OXM/xdot.py
+++ b/src/OXM/xdot.py
@ -489,7 +489,7 @@ class XDotAttrParser:
        return res

    def read_number(self):
-        return int(self.read_code())
+        return int(round(float(self.read_code())))

    def read_float(self):
        return float(self.read_code())