diff --git a/engine/logic_monad.ml b/engine/logic_monad.ml index 2cee4e5bcc54..508ea253048e 100644 --- a/engine/logic_monad.ml +++ b/engine/logic_monad.ml @@ -58,7 +58,7 @@ struct applications can be significantly slower. Documentation of this behaviour can be found at: - https://ocaml.janestreet.com/?q=node/30 *) + https://blog.janestreet.com/the-dangers-of-being-too-partial/ *) include Monad.Make(struct type 'a t = unit -> 'a