diff options
author | Florian Diebold <[email protected]> | 2019-05-20 17:31:12 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-05-21 19:40:29 +0100 |
commit | f613c48d2e2afa1761623d186d11c1719f9ef3f7 (patch) | |
tree | 1ff623537505695163ea329d9eae35325eb2ef21 /crates/ra_hir/Cargo.toml | |
parent | ed943adb29e6eddb482377a21908a8ed66c6cc21 (diff) |
Use fuel branch for Chalk
This makes sure we don't take too long in trait solving.
Diffstat (limited to 'crates/ra_hir/Cargo.toml')
-rw-r--r-- | crates/ra_hir/Cargo.toml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/ra_hir/Cargo.toml b/crates/ra_hir/Cargo.toml index cb4a8c3e3..294d047d8 100644 --- a/crates/ra_hir/Cargo.toml +++ b/crates/ra_hir/Cargo.toml | |||
@@ -21,9 +21,9 @@ tt = { path = "../ra_tt", package = "ra_tt" } | |||
21 | test_utils = { path = "../test_utils" } | 21 | test_utils = { path = "../test_utils" } |
22 | ra_prof = { path = "../ra_prof" } | 22 | ra_prof = { path = "../ra_prof" } |
23 | 23 | ||
24 | chalk-solve = { git = "https://github.com/rust-lang/chalk.git" } | 24 | chalk-solve = { git = "https://github.com/flodiebold/chalk.git", branch = "fuel" } |
25 | chalk-rust-ir = { git = "https://github.com/rust-lang/chalk.git" } | 25 | chalk-rust-ir = { git = "https://github.com/flodiebold/chalk.git", branch = "fuel" } |
26 | chalk-ir = { git = "https://github.com/rust-lang/chalk.git" } | 26 | chalk-ir = { git = "https://github.com/flodiebold/chalk.git", branch = "fuel" } |
27 | 27 | ||
28 | [dev-dependencies] | 28 | [dev-dependencies] |
29 | flexi_logger = "0.11.0" | 29 | flexi_logger = "0.11.0" |