From ea4a4fd3b2dbd95551d7925ec7d118ccd56420cb Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Wed, 27 Jul 2005 12:26:21 +0000
Subject: - updated code for deprecated def-parameters.

---
 doc/reference/ExamplesPart.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/reference/ExamplesPart.tex')

diff --git a/doc/reference/ExamplesPart.tex b/doc/reference/ExamplesPart.tex
index c23bf4a9b5..66dd72486b 100644
--- a/doc/reference/ExamplesPart.tex
+++ b/doc/reference/ExamplesPart.tex
@@ -4482,7 +4482,7 @@ command need to be passed by-name, so that they are evaluated
 repeatedly for each loop iteration.  This leads to the following
 definition of \code{whileLoop}.
 \begin{lstlisting}
-def whileLoop(def condition: boolean)(def command: unit): unit = 
+def whileLoop(condition: => boolean)(command: => unit): unit = 
   if (condition) {
     command; whileLoop(condition)(command)
   } else {}
-- 
cgit v1.2.3

