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