Skip to content

Commit

Permalink
Fix typo, 'which' repeated twice
Browse files Browse the repository at this point in the history
  • Loading branch information
thomasmulvaney authored and mark-i-m committed May 7, 2019
1 parent 37e4af3 commit 3cb727b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/traits/chalk-overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -122,7 +122,7 @@ This rule dictates that `Vec<T>: Clone` is only satisfied if `T: Clone` is also
satisfied (i.e. "provable").

Similar to [`chalk::program::Program`][chalk-program] which has "rust-like
things", chalk_ir defines [`ProgramEnvironment`] which which is "pure logic".
things", chalk_ir defines [`ProgramEnvironment`] which is "pure logic".
The main field in that struct is `program_clauses`, which contains the
[`ProgramClause`]s generated by the rules module.

Expand Down

0 comments on commit 3cb727b

Please sign in to comment.