1.1 --- a/src/Tools/code/code_thingol.ML	Sat May 17 23:53:20 2008 +0200
     1.2 +++ b/src/Tools/code/code_thingol.ML	Sun May 18 15:04:09 2008 +0200
     1.3 @@ -430,7 +430,7 @@
     1.4        #>> (fn (tyco, tys) => tyco `%% tys)
     1.5  and exprgen_dicts thy (algbr as ((proj_sort, algebra), consts)) funcgr (ty_ctxt, sort_decl) =
     1.6    let
     1.7 -    val pp = Sign.pp thy;
     1.8 +    val pp = Syntax.pp_global thy;
     1.9      datatype typarg =
    1.10          Global of (class * string) * typarg list list
    1.11        | Local of (class * class) list * (string * (int * sort));