Skip to content

Commit

Permalink
fix a link (#672)
Browse files Browse the repository at this point in the history
  • Loading branch information
mark-i-m authored Apr 8, 2020
1 parent 826eddf commit 7adfab4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/traits/chalk-overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -229,7 +229,7 @@ Likewise, lowering tests use the [`lowering_success!` and
[rustc-issues]: https://github.com/rust-lang/rustc-dev-guide/issues
[universal quantification]: https://en.wikipedia.org/wiki/Universal_quantification

[`ProgramClause`]: https://rust-lang.github.io/chalk/chalk_ir/enum.ProgramClause.html
[`ProgramClause`]: https://rust-lang.github.io/chalk/chalk_ir/struct.ProgramClause.html
[`ProgramEnvironment`]: https://rust-lang.github.io/chalk/chalk_integration/program_environment/struct.ProgramEnvironment.html
[chalk_engine]: https://rust-lang.github.io/chalk/chalk_engine
[chalk_ir]: https://rust-lang.github.io/chalk/chalk_ir/index.html
Expand Down

0 comments on commit 7adfab4

Please sign in to comment.