From 8a8c35088606198648994aeff4056ad74e1d9c8a Mon Sep 17 00:00:00 2001
From: Martin Henz <henz@comp.nus.edu.sg>
Date: Wed, 10 Jul 2024 00:05:56 +0800
Subject: [PATCH] fixes #839 (#1028)

---
 xml/chapter3/section5/subsection1.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xml/chapter3/section5/subsection1.xml b/xml/chapter3/section5/subsection1.xml
index 2c22b34f9..228d0c155 100644
--- a/xml/chapter3/section5/subsection1.xml
+++ b/xml/chapter3/section5/subsection1.xml
@@ -1057,7 +1057,7 @@ stream_ref(pair(10001, () => stream_enumerate_interval(10002, 1000000)), 100);
         <SNIPPET EVAL="no">
 	  <JAVASCRIPT>
 pair(head(stream), 
-     stream_filter(pred, stream_tail(stream)));
+     () => stream_filter(pred, stream_tail(stream)));
           </JAVASCRIPT>
 	</SNIPPET>
         which in this case is