File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -1976,10 +1976,10 @@ class ConstraintSystem {
1976
1976
// / \brief Simplify the system of constraints, by breaking down complex
1977
1977
// / constraints into simpler constraints.
1978
1978
// /
1979
- // / The result of simplification is a constraint system that consisting of
1979
+ // / The result of simplification is a constraint system consisting of
1980
1980
// / only simple constraints relating type variables to each other or
1981
1981
// / directly to fixed types. There are no constraints that involve
1982
- // / type constructors on both sides. the simplified constraint system may,
1982
+ // / type constructors on both sides. The simplified constraint system may,
1983
1983
// / of course, include type variables for which we have constraints but
1984
1984
// / no fixed type. Such type variables are left to the solver to bind.
1985
1985
// /
You can’t perform that action at this time.
0 commit comments