diff --git a/src/traits/lowering-rules.md b/src/traits/lowering-rules.md
index 7f46e573..bbebf145 100644
--- a/src/traits/lowering-rules.md
+++ b/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
diff --git a/src/traits/wf.md b/src/traits/wf.md
index e2d15f1d..0ced345a 100644
--- a/src/traits/wf.md
+++ b/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