--- a/src/Pure/General/stack.ML Thu Sep 04 16:43:50 2008 +0200
+++ b/src/Pure/General/stack.ML Thu Sep 04 16:43:51 2008 +0200
@@ -7,7 +7,7 @@
signature STACK =
sig
- type 'a T (*= 'a * 'a list*)
+ type 'a T = 'a * 'a list
val level: 'a T -> int
val init: 'a -> 'a T
val top: 'a T -> 'a