Skip to content

Commit ed04741

Browse files
committed
fix typo
1 parent 9874533 commit ed04741

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/traits-canonicalization.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -218,7 +218,7 @@ for later verification.
218218
than eagerly instantiating all of the canonical values in the result
219219
with variables, we instead walk the vector of values, looking for
220220
cases where the value is just a canonical variable. In our example,
221-
`values[2]` is `?C`, so that we means we can deduce that `?C := ?B and
221+
`values[2]` is `?C`, so that means we can deduce that `?C := ?B and
222222
`'?D := 'static`. This gives us a partial set of values. Anything for
223223
which we do not find a value, we create an inference variable.)
224224

0 commit comments

Comments
 (0)