diff --git a/sofp-src/sofp-nameless-functions.lyx b/sofp-src/sofp-nameless-functions.lyx index f3633c0ff..297943fc0 100644 --- a/sofp-src/sofp-nameless-functions.lyx +++ b/sofp-src/sofp-nameless-functions.lyx @@ -4956,7 +4956,7 @@ status open \begin_layout Plain Layout -def isPrime(n: Int): Boolean = +def isPrime(n: Int): Boolean = { \end_layout \begin_layout Plain Layout @@ -4974,6 +4974,11 @@ def isPrime(n: Int): Boolean = .forall(k => n % k != 0) \end_layout +\begin_layout Plain Layout + +} +\end_layout + \end_inset