From 37d43251867a14f4744b8366ec8d106c5d7d2016 Mon Sep 17 00:00:00 2001 From: Fabian Wunsch Date: Sun, 10 Apr 2022 13:53:31 +0200 Subject: [PATCH] Small naming improvement for better clarity --- tools/formatter.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/formatter.py b/tools/formatter.py index a89e620d..9ab82725 100644 --- a/tools/formatter.py +++ b/tools/formatter.py @@ -125,12 +125,12 @@ def remove_duplicate_points(entry: dict): Removes points from paths that occur twice after each other """ path: list = entry['path'] - last: list = path[0] + previous: list = path[0] for i in range(len(path)-1, -1, -1): current: list = path[i] - if current == last: + if current == previous: path.pop(i) - last = current + previous = current return entry