Skip to content

Commit

Permalink
Merge PR coq#18460: Fix broken url
Browse files Browse the repository at this point in the history
Reviewed-by: ppedrot
Co-authored-by: ppedrot <[email protected]>
  • Loading branch information
coqbot-app[bot] and ppedrot authored Jan 3, 2024
2 parents 0e4d060 + 6113b7d commit 973cc47
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion engine/logic_monad.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 973cc47

Please sign in to comment.