1.1 --- a/src/Tools/Code/code_target.ML	Sun Mar 09 15:21:08 2014 +0100
     1.2 +++ b/src/Tools/Code/code_target.ML	Sun Mar 09 16:37:56 2014 +0100
     1.3 @@ -98,7 +98,7 @@
     1.4    in tyco end;
     1.5  
     1.6  fun read_tyco ctxt =
     1.7 -  #1 o dest_Type o Proof_Context.read_type_name ctxt {proper = true, strict = true};
     1.8 +  #1 o dest_Type o Proof_Context.read_type_name {proper = true, strict = true} ctxt;
     1.9  
    1.10  fun cert_class ctxt class =
    1.11    let