--- a/src/Pure/General/lazy_seq.ML Thu Jul 08 19:34:10 2004 +0200
+++ b/src/Pure/General/lazy_seq.ML Thu Jul 08 19:34:18 2004 +0200
@@ -316,7 +316,7 @@
fun F None = ()
| F (Some(x,s)) = F (getItem s)
in
-val force_all = F o getItem
+fun force_all s = F (getItem s)
end
fun of_function f =