summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2023-06-02 09:34:47 +0200
committerSon HO2023-06-04 21:44:33 +0200
commita04f5bda09c8dec421df783e97e34ac63b78ef47 (patch)
treeb7646a6dbbf3e9f5733f508b8280e996197b87db
parent9d8284cc0337ec0cb730fd5ecb00f72545718688 (diff)
Add a comment
-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;