src/Pure/General/seq.ML

--- a/src/Pure/General/seq.ML	Fri Jul 24 11:55:34 2009 +0200
+++ b/src/Pure/General/seq.ML	Fri Jul 24 12:00:02 2009 +0200
@@ -200,7 +200,7 @@
 
 
 
-(** sequence functions **)      (*cf. Pure/tctical.ML*)
+(** sequence functions **)      (*cf. Pure/tactical.ML*)
 
 fun succeed x = single x;
 fun fail _ = empty;