src/Pure/Syntax/syn_ext.ML

--- a/src/Pure/Syntax/syn_ext.ML	Wed Apr 06 13:33:46 2011 +0200
+++ b/src/Pure/Syntax/syn_ext.ML	Wed Apr 06 14:08:40 2011 +0200
@@ -7,7 +7,6 @@
 signature SYN_EXT0 =
 sig
   val dddot_indexname: indexname
-  val constrainC: string
   val typeT: typ
   val spropT: typ
   val default_root: string Config.T
@@ -93,7 +92,6 @@
 (** misc definitions **)
 
 val dddot_indexname = ("dddot", 0);
-val constrainC = "_constrain";
 
 
 (* syntactic categories *)