From 60079d9eb9ae6df50cb3c50dd797fd3788455b18 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 25 Mar 2023 20:42:44 +0100
Subject: [PATCH] update for tap update

---
 tests/Tests/Equal.idr       | 2 +-
 tests/Tests/Typechecker.idr | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/Tests/Equal.idr b/tests/Tests/Equal.idr
index 92a9185..2d806a0 100644
--- a/tests/Tests/Equal.idr
+++ b/tests/Tests/Equal.idr
@@ -25,7 +25,7 @@ parameters (label : String) (act : Lazy (M ()))
   testEq = test label $ runReaderT globals act
 
   testNeq : Test
-  testNeq = testThrows label (const True) $ runReaderT globals act
+  testNeq = testThrows label (const True) $ runReaderT globals act $> "()"
 
 
 parameters (0 d : Nat) (ctx : TyContext Three d n)
diff --git a/tests/Tests/Typechecker.idr b/tests/Tests/Typechecker.idr
index 52b1909..8ebbdae 100644
--- a/tests/Tests/Typechecker.idr
+++ b/tests/Tests/Typechecker.idr
@@ -95,7 +95,7 @@ parameters (label : String) (act : Lazy (M ()))
   testTC = test label $ runReaderT globals act
 
   testTCFail : Test
-  testTCFail = testThrows label (const True) $ runReaderT globals act
+  testTCFail = testThrows label (const True) $ runReaderT globals act $> "()"
 
 
 anys : {n : Nat} -> QContext Three n