From e33b32a887105365cd2f6649e141cf2e96db922a Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 23 Sep 2023 17:39:15 +0200
Subject: [PATCH] todos should be `not ok`

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

diff --git a/TAP.idr b/TAP.idr
index c34cbb0..0ec75b3 100644
--- a/TAP.idr
+++ b/TAP.idr
@@ -329,7 +329,7 @@ run1' (index, test) = do
       putOk' Yellow True index "\{test.label}  # skip \{reason}"
     Todo reason => do
       modify $ \s : Results => {todo $= S} s
-      putOk' Yellow True index "\{test.label}  # todo \{reason}"
+      putOk' Yellow False index "\{test.label}  # todo \{reason}"
   pure $ toBool res
 
 parameters (skipNotes : Bool)