summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--flake.nix2
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;