From 8a41517995b6d4221a102a1cfe2165d5aa7301b6 Mon Sep 17 00:00:00 2001
From: Patrick Hilhorst <git@hilhorst.be>
Date: Wed, 8 May 2019 16:14:24 +0200
Subject: [PATCH] Use more widely supported arrow symbol in performance report

Fixes #360.
---
 ofborg/src/nixstats.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/ofborg/src/nixstats.rs b/ofborg/src/nixstats.rs
index f098740..e67670d 100644
--- a/ofborg/src/nixstats.rs
+++ b/ofborg/src/nixstats.rs
@@ -124,10 +124,10 @@ impl<'a> EvaluationStatsDiff<'a> {
 
                 if left > right {
                     diff = left - right;
-                    direction = "🡖 ";
+                    direction = "↘ ";
                 } else if left < right {
                     diff = right - left;
-                    direction = "🡕 ";
+                    direction = "↗ ";
                 } else {
                     diff = 0;
                     direction = "";
@@ -157,10 +157,10 @@ impl<'a> EvaluationStatsDiff<'a> {
 
                 if left > right {
                     diff = left - right;
-                    direction = "🡖 ";
+                    direction = "↘ ";
                 } else if left < right {
                     diff = right - left;
-                    direction = "🡕 ";
+                    direction = "↗ ";
                 } else {
                     diff = 0.0;
                     direction = "";