add comment

leanprover-community · May 20, 2024 · 2410f49 · 2410f49
1 parent fe9697b
commit 2410f49
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/TODO.md b/TODO.md
@@ -34,6 +34,7 @@ __Auto Issues:__
 * Performance: ``collectLamTermAtoms`` have quadratic worst-case performance
 * Fix: Proof parsing too slow
 * Fix: ``SMTNamingInfo`` suggest name for ``compCtor`` and ``compProj``
+* Fix: Translation of `abs`
 
 __Lean Issues:__
 * ``cases`` fails on some simple examples. E.g, ``cases h : a.beq b`` fails if the goal contains term