fix a link (#672)

This commit is contained in:
Who? Me?! 2020-04-08 01:52:05 -05:00 committed by GitHub
parent 50910ad220
commit 4c9670a6c2
1 changed files with 1 additions and 1 deletions

View File

@ -229,7 +229,7 @@ Likewise, lowering tests use the [`lowering_success!` and
[rustc-issues]: https://github.com/rust-lang/rustc-dev-guide/issues [rustc-issues]: https://github.com/rust-lang/rustc-dev-guide/issues
[universal quantification]: https://en.wikipedia.org/wiki/Universal_quantification [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 [`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_engine]: https://rust-lang.github.io/chalk/chalk_engine
[chalk_ir]: https://rust-lang.github.io/chalk/chalk_ir/index.html [chalk_ir]: https://rust-lang.github.io/chalk/chalk_ir/index.html