# HG changeset patch
# User wenzelm
# Date 1220818808 -7200
# Node ID 80823c582b9dc1b40788bb65ea39d1b32300742a
# Parent  96cbf4afdc7d7527029791f97ec13f7ee19c331f
opaque signature constraint abstracts local type abbrev;

diff -r 96cbf4afdc7d -r 80823c582b9d src/Pure/General/susp.ML
--- a/src/Pure/General/susp.ML	Sun Sep 07 22:19:58 2008 +0200
+++ b/src/Pure/General/susp.ML	Sun Sep 07 22:20:08 2008 +0200
@@ -15,7 +15,7 @@
   val same: 'a T * 'a T -> bool
 end
 
-structure Susp : SUSP =
+structure Susp :> SUSP =
 struct
 
 datatype 'a susp =