TypeExt.type_constraint;
authorwenzelm
Wed Jun 18 22:32:04 2008 +0200 (2008-06-18 ago)
changeset 2726549c81f6d7a08
parent 27264 843472ae2116
child 27266 a2db1e379778
TypeExt.type_constraint;
src/Pure/Syntax/syntax.ML
     1.1 --- a/src/Pure/Syntax/syntax.ML	Wed Jun 18 22:32:03 2008 +0200
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Wed Jun 18 22:32:04 2008 +0200
     1.3 @@ -776,7 +776,7 @@
     1.4  
     1.5  val check_typs = gen_check fst false;
     1.6  val check_terms = gen_check snd false;
     1.7 -fun check_props ctxt = map (TypeInfer.constrain propT) #> check_terms ctxt;
     1.8 +fun check_props ctxt = map (TypeExt.type_constraint propT) #> check_terms ctxt;
     1.9  
    1.10  val check_typ = singleton o check_typs;
    1.11  val check_term = singleton o check_terms;