Remove TODO(#616)

diff --git a/levels/level-01.txt b/levels/level-01.txt
index dcc0428d2cf745aaea6432cd61d89b722f369d98..9b9880390811987068d5ead8ee6cf6e7a8766bef 100644 (file)
--- a/levels/level-01.txt
+++ b/levels/level-01.txt
@@ -69,6 +69,5 @@ Double Jump
 5
 (set args '())
 (defun on-enter ()
-  ;; TODO(#616): hiding labels is not implemented
   (send `(game level label "label_double_jump" hide)))
 (defun on-leave ())