From a35e96fc919b619a2da62b48b93c7a995d14e419 Mon Sep 17 00:00:00 2001 From: Itay Mizeretz Date: Mon, 18 Sep 2017 15:55:54 +0300 Subject: [PATCH] changed right arrow to modern unicode literal --- monkey_island/cc/services/edge.py | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/monkey_island/cc/services/edge.py b/monkey_island/cc/services/edge.py index 9cfd440d8..446f359e1 100644 --- a/monkey_island/cc/services/edge.py +++ b/monkey_island/cc/services/edge.py @@ -195,10 +195,7 @@ class EdgeService: else: to_label = NodeService.get_monkey_label(to_id) - RIGHT_ARROW = unichr(8594) - return "%s %s %s" % ( - from_label, - RIGHT_ARROW, - to_label) + RIGHT_ARROW = u"\u2192" + return "%s %s %s" % (from_label, RIGHT_ARROW, to_label)