1 files changed, 1 insertions, 1 deletions
diff --git a/flake.nix b/flake.nix
index cb88c340..14964718 100644
--- a/flake.nix
+++ b/flake.nix
@@ -124,7 +124,7 @@
           # The tests don't generate anything
           installPhase = "touch $out";
         };
-        # Replay the Lean proofs.
+        # Replay the Lean proofs. TODO: doesn't work
         aeneas-verify-lean = pkgs.stdenv.mkDerivation {
           name = "aeneas_verify_lean";
           src = ./tests/lean;