From a04f5bda09c8dec421df783e97e34ac63b78ef47 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 2 Jun 2023 09:34:47 +0200
Subject: Add a comment

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
cgit v1.2.3