From bd57a976a81ad5c3dcf0def1507dab2d49cea6ff Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Wed, 25 May 2022 16:09:54 +0200
Subject: [PATCH] haha oops forgot some \{}

---
 tests/TAP.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/TAP.idr b/tests/TAP.idr
index 9423000..5640e4c 100644
--- a/tests/TAP.idr
+++ b/tests/TAP.idr
@@ -233,9 +233,9 @@ run1' (index, test) = do
          putOk ok index test.label
          local {indent $= plus 2} $ putIndentLines $ toLines info
        Skip reason =>
-         putOk' Yellow True index "test.label  # skip \{reason}"
+         putOk' Yellow True index "\{test.label}  # skip \{reason}"
        Todo reason =>
-         putOk' Yellow True index "test.label  # todo \{reason}"
+         putOk' Yellow True index "\{test.label}  # todo \{reason}"
   pure $ toBool res
 
 mutual