Fixed broken chalk links

Author: igaray

src/traits/lowering-rules.md

@@ -28,10 +28,10 @@ comment like so:
     // Rule Foo-Bar-Baz
 
 The reference implementation of these rules is to be found in
-[`chalk/chalk-rules/src/clauses.rs`][chalk_rules]. They are also ported in
+[`chalk/chalk-solve/src/clauses.rs`][chalk_rules]. They are also ported in
 rustc in the [`librustc_traits`][librustc_traits] crate.
 
-[chalk_rules]: https://github.com/rust-lang/chalk/blob/master/chalk-rules/src/clauses.rs
+[chalk_rules]: https://github.com/rust-lang/chalk/blob/master/chalk-solve/src/clauses.rs
 [librustc_traits]: https://github.com/rust-lang/rust/tree/master/src/librustc_traits
 
 ## Lowering where clauses

src/traits/wf.md

@@ -11,13 +11,13 @@ to prove it using the lowered rules we described in the
 [lowering rules](./lowering-rules.md) chapter. If we are able to prove it, we
 say that the construct is well-formed. If not, we report an error to the user.
 
-Well-formedness checking happens in the [`chalk/chalk-rules/src/wf.rs`][wf]
+Well-formedness checking happens in the [`chalk/chalk-solve/src/wf.rs`][wf]
 module in chalk. After you have read this chapter, you may find useful to see
 an extended set of examples in the [`chalk/src/test/wf.rs`][wf_test] submodule.
 
 The new-style WF checking has not been implemented in rustc yet.
 
-[wf]: https://github.com/rust-lang/chalk/blob/master/chalk-rules/src/wf.rs
+[wf]: https://github.com/rust-lang/chalk/blob/master/chalk-solve/src/wf.rs
 [wf_test]: https://github.com/rust-lang/chalk/blob/master/src/test/wf.rs
 
 We give here a complete reference of the generated goals for each Rust