# HG changeset patch
# User wenzelm
# Date 1089308058 -7200
# Node ID 60240294bbd571ebc3bb616be4d7a920b40bef37
# Parent  b2ef0bc6f59f673860825961329917bd0f433aa2
make SML/NJ happy;

diff -r b2ef0bc6f59f -r 60240294bbd5 src/Pure/General/lazy_seq.ML
--- 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 =