src/Pure/General/seq.ML

--- a/src/Pure/General/seq.ML	Wed May 18 11:30:58 2005 +0200
+++ b/src/Pure/General/seq.ML	Wed May 18 11:30:59 2005 +0200
@@ -71,8 +71,8 @@
 fun single x = cons (x, empty);
 
 (*head and tail -- beware of calling the sequence function twice!!*)
-fun hd xq = #1 (valOf (pull xq))
-and tl xq = #2 (valOf (pull xq));
+fun hd xq = #1 (the (pull xq))
+and tl xq = #2 (the (pull xq));
 
 (*partial function as procedure*)
 fun try f x =