src/Pure/Syntax/type_ext.ML
changeset 14903 d264b8ad3eec
parent 14838 b12855d44c97
child 14981 e73f8140af78
     1.1 --- a/src/Pure/Syntax/type_ext.ML	Wed Jun 09 18:54:07 2004 +0200
     1.2 +++ b/src/Pure/Syntax/type_ext.ML	Wed Jun 09 18:54:26 2004 +0200
     1.3 @@ -189,7 +189,7 @@
     1.4  
     1.5  local open Lexicon SynExt in
     1.6  
     1.7 -val type_ext = mk_syn_ext false ["dummy"]
     1.8 +val type_ext = syn_ext' false (K false)
     1.9    [Mfix ("_",           tidT --> typeT,                "", [], max_pri),
    1.10     Mfix ("_",           tvarT --> typeT,               "", [], max_pri),
    1.11     Mfix ("_",           idT --> typeT,                 "", [], max_pri),