#76, Solution for Example 1.4.1.1 fails, fixed (#77)

Signed-off-by: Andreas Roehler <andreas.roehler@online.de>
winitzki · Jan 4, 2024 · 6fd84d9 · 6fd84d9
1 parent 3e8031f
commit 6fd84d9
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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