1.1 --- a/src/Tools/Code/code_preproc.ML	Sun Mar 18 12:51:44 2012 +0100
     1.2 +++ b/src/Tools/Code/code_preproc.ML	Sun Mar 18 13:04:22 2012 +0100
     1.3 @@ -431,7 +431,7 @@
     1.4        |> fold (ensure_fun thy arities eqngr) cs
     1.5        |> fold (ensure_rhs thy arities eqngr) cs_rhss;
     1.6      val arities' = fold (add_arity thy vardeps) insts arities;
     1.7 -    val algebra = Sorts.subalgebra (Syntax.init_pretty_global thy) (is_proper_class thy)
     1.8 +    val algebra = Sorts.subalgebra (Context.pretty_global thy) (is_proper_class thy)
     1.9        (AList.lookup (op =) arities') (Sign.classes_of thy);
    1.10      val (rhss, eqngr') = Symtab.fold (add_cert thy vardeps) eqntab ([], eqngr);
    1.11      fun deps_of (c, rhs) = c :: maps (dicts_of thy algebra)