[presentation] Add in line break accidentally removed

georgejkaye · Feb 7, 2023 · b7eea69 · b7eea69
1 parent f40dadb
commit b7eea69
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/sections/semantics.tex b/sections/semantics.tex
@@ -5,6 +5,7 @@ \section{Semantics}
 
     \wait
     Values are interpreted in a \alert{lattice}:
+
     \wait
     \begin{minipage}{0.49\textwidth}
         \[
@@ -287,4 +288,4 @@ \section{Semantics}
         if and only if it is \textbf{causal}, \textbf{monotone} and has
         \textbf{finitely many stream derivatives}.
     \end{theorem}
-\end{frame}
+\end{frame}