diff --git a/tests/Tests/PrettyTerm.idr b/tests/Tests/PrettyTerm.idr
index 11356f7..7856e12 100644
--- a/tests/Tests/PrettyTerm.idr
+++ b/tests/Tests/PrettyTerm.idr
@@ -215,6 +215,7 @@ tests = "pretty printing terms" :- [
       "type-case Nat :: Type 0 return Type 0 of { _ => Nat }"
   ],
 
+  skipWith "(todo: print user-written redundant annotations)" $
   "annotations" :- [
     testPrettyE [<] [<]
       (^Ann (^FT "a" 0) (^FT "A" 0))