--- a/cws/core_cw02.tex	Fri Nov 14 10:57:21 2025 +0000
+++ b/cws/core_cw02.tex	Fri Nov 14 11:14:43 2025 +0000
@@ -34,7 +34,7 @@
 \noindent
 In addition, the Scala part comes with reference
 implementations in form of \texttt{jar}-files. This allows you to run
-any test cases on your own computer. For example you can call \texttt{scala-cli} on
+any test cases on your own computer. For example you can call \texttt{scala} on
 the command line with the option \texttt{--extra-jars docdiff.jar} and then
 query any function from the template file. Say you want to find out
 what the function \texttt{occurrences} produces: for this you just need
@@ -43,7 +43,7 @@
 you would type something like:
 
 \begin{lstlisting}[language={},numbers=none,basicstyle=\ttfamily\small]
-$ scala-cli --extra-jars docdiff.jar
+$ scala --extra-jars docdiff.jar
   
 scala> C2.occurrences(List("a", "b", "b"))
 ...