TFL/usyntax.ML
changeset 19046 bc5c6c9b114e
parent 18176 ae9bd644d106
child 20071 8f3e1ddb50e6
     1.1 --- a/TFL/usyntax.ML	Wed Feb 15 19:11:10 2006 +0100
     1.2 +++ b/TFL/usyntax.ML	Wed Feb 15 21:34:55 2006 +0100
     1.3 @@ -115,7 +115,7 @@
     1.4  val is_vartype = can dest_vtype;
     1.5  
     1.6  val type_vars  = map mk_prim_vartype o typ_tvars
     1.7 -fun type_varsl L = distinct (fold (curry op @ o type_vars) L []);
     1.8 +fun type_varsl L = distinct (op =) (fold (curry op @ o type_vars) L []);
     1.9  
    1.10  val alpha  = mk_vartype "'a"
    1.11  val beta   = mk_vartype "'b"