svgui/svgui.py
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)