From 137755a909279afc65e454fee4f11de4d210cd06 Mon Sep 17 00:00:00 2001
From: Nikolaos Kakouros <nkak@kth.se>
Date: Wed, 19 May 2021 17:25:35 +0200
Subject: [PATCH] Fixes quotes

---
 lib/io | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/io b/lib/io
index aae8072..771be6e 100755
--- a/lib/io
+++ b/lib/io
@@ -127,7 +127,7 @@ function abort() {
 function warn() {
   @required [string] message
 
-  COLUMNS=100 @go.printf "${UI_Color_Magenta}Warning: %b%s${UI_Color_Default}\n" "$message" >&"$"{STDERR:-2}
+  COLUMNS=100 @go.printf "${UI_Color_Magenta}Warning: %b%s${UI_Color_Default}\n" "$message" >&"${STDERR:-2}"
 }
 
 function set_standard_outputs() {
-- 
GitLab