src/Pure/type_infer.ML
changeset 64556 851ae0e7b09c
parent 62958 b41c1cb5e251
child 69575 f77cc54f6d47
     1.1 --- a/src/Pure/type_infer.ML	Mon Dec 12 17:40:06 2016 +0100
     1.2 +++ b/src/Pure/type_infer.ML	Tue Dec 13 11:51:42 2016 +0100
     1.3 @@ -101,7 +101,7 @@
     1.4  (* fixate -- introduce fresh type variables *)
     1.5  
     1.6  val object_logic =
     1.7 -  Config.bool (Config.declare ("Type_Infer.object_logic", @{here}) (K (Config.Bool true)));
     1.8 +  Config.bool (Config.declare ("Type_Infer.object_logic", \<^here>) (K (Config.Bool true)));
     1.9  
    1.10  fun fixate ctxt pattern ts =
    1.11    let