From 8920a012f4d5eeb87123755e359792c502f25e63 Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Mon, 27 Nov 2023 17:08:19 +0100
Subject: [PATCH] Bare URL's are not supported and must be wrapped.

---
 kimchi/src/prover.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kimchi/src/prover.rs b/kimchi/src/prover.rs
index 7fac5dd2b8..0f92745d7f 100644
--- a/kimchi/src/prover.rs
+++ b/kimchi/src/prover.rs
@@ -936,7 +936,7 @@ where
         //~~ * $s_i$
         //~~ * $w_i$
         //~~ * $z$
-        //~~ * lookup (TODO https://github.com/MinaProtocol/mina/issues/13886)
+        //~~ * lookup (TODO, see [this issue](https://github.com/MinaProtocol/mina/issues/13886))
         //~~ * generic selector
         //~~ * poseidon selector
         //~