Commas before then

dart-lang · Jan 18, 2024 · bc75c8b · bc75c8b
1 parent 84db542
commit bc75c8b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex
@@ -11724,10 +11724,10 @@ \subsection{Function Expressions}
 \item
   If a superinterface 
   (\ref{interfaceSuperinterfaces})
-  of $T$ is \code{Future<$U$>} for some $U$ then
-  $T$ derives the future type \code{Future<$U$>}.
+  of $T$ is \code{Future<$U$>} for some $U$,
+  then $T$ derives the future type \code{Future<$U$>}.
 \item
-  If $T$ is \code{FutureOr<$U$>} for some $U$
+  If $T$ is \code{FutureOr<$U$>} for some $U$,
   then $T$ derives the future type \code{FutureOr<$U$>}.
 \item
   If $T$ is \code{$T_1$?} for some $T_1$, and