changeset 1833 | 2269739dd098 |
parent 1832 | 0f1081928d65 |
child 1850 | 614396cbffbf |
--- a/svgui/svgui.py Thu Sep 28 15:17:57 2017 +0300 +++ b/svgui/svgui.py Thu Sep 28 16:25:05 2017 +0300 @@ -86,7 +86,7 @@ current_location = self.GetCurrentLocation() # define a unique name for the generated C file - location_str = "_".join(map(lambda x: str(x), current_location)) + location_str = "_".join(map(str, current_location)) res = ([], "", False)