Clarify comment

This commit is contained in:
Ayaz Hafiz 2022-11-01 11:00:13 -05:00
parent 342f9f2e02
commit f696e8dd29
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58

View File

@ -27,8 +27,8 @@ pub struct ExhaustiveSummary {
/// Exhaustiveness-checks [sketched rows][SketchedRows] against an expected type.
///
/// Returns an error if the sketch has a type error, in which case exhautiveness checking should
/// not be performed.
/// Returns an error if the sketch has a type error, in which case exhautiveness checking will not
/// have been performed.
pub fn check(
subs: &Subs,
real_var: Variable,