Bare URL's are not supported and must be wrapped.

o1-labs · Nov 27, 2023 · 8920a01 · 8920a01
1 parent a285216
commit 8920a01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
         //~