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); pair(head(stream), - stream_filter(pred, stream_tail(stream))); + () => stream_filter(pred, stream_tail(stream))); which in this case is