Update reachability_A17_t03.dart

Typo in description
dart-lang · Feb 19, 2025 · c4488f1 · c4488f1
1 parent 45a8cac
commit c4488f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/TypeSystem/flow-analysis/reachability_A17_t03.dart b/TypeSystem/flow-analysis/reachability_A17_t03.dart
@@ -12,7 +12,7 @@
 ///   - Let `before(E2) = split(after(E1))`.
 ///   - Let `after(N) = merge(after(E2), split(after(E1)))`.
 ///
-/// @description Checks that if `E1` is equivalent to `Null` then `E2` is always
+/// @description Checks that if `E1` is a subtype of `Null` then `E2` is always
 /// executed.
 /// @author [email protected]
 /// @issue 60114