src/Pure/Syntax/syn_ext.ML

--- a/src/Pure/Syntax/syn_ext.ML	Wed Nov 19 18:15:31 2008 +0100
+++ b/src/Pure/Syntax/syn_ext.ML	Thu Nov 20 00:03:47 2008 +0100
@@ -10,6 +10,7 @@
   val dddot_indexname: indexname
   val constrainC: string
   val typeT: typ
+  val spropT: typ
   val max_pri: int
   val stamp_trfun: stamp -> string * 'a -> string * ('a * stamp)
   val mk_trfun: string * 'a -> string * ('a * stamp)