fix a link (#672)
This commit is contained in:
parent
64a47ac359
commit
2eabf5acfb
1 changed files with 1 additions and 1 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue