Fix typo

hylo-lang · Oct 3, 2023 · 422da2d · 422da2d
1 parent 5253590
commit 422da2d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Sources/FrontEnd/TypeChecking/TypeChecker.swift b/Sources/FrontEnd/TypeChecking/TypeChecker.swift
@@ -3692,7 +3692,7 @@ struct TypeChecker {
       _ = inferredType(of: program[e].left, updating: &obligations)
 
     case .up:
-      // The type of thr LHS must be statically known to subtype of the RHS.
+      // The type of the LHS must be statically known to subtype of the RHS.
       let lhs = inferredType(
         of: program[e].left, withHint: ^freshVariable(), updating: &obligations)
       obligations.insert(SubtypingConstraint(lhs, rhs.shape, origin: cause))