From aba132b542bf7a8fcad065a7c183731c645280ef Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 5 Mar 2023 13:11:52 +0100
Subject: [PATCH] change V13 name separator

---
 TAP.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/TAP.idr b/TAP.idr
index 708bf1a..77c9a94 100644
--- a/TAP.idr
+++ b/TAP.idr
@@ -178,7 +178,7 @@ header tests =
 private
 withPrefix : SnocList String -> TestBase -> Test
 withPrefix pfx = One . {label $= (makePrefix pfx ++)}
-  where makePrefix = concatMap $ \s => "\{s} ⟫ "
+  where makePrefix = concatMap $ \s => "\{s} » "
 
 mutual
   ||| flatten some tests, starting with the prefix given