src/Pure/Isar/locale.ML
changeset 26948 efe3e0e235d6
parent 26645 e114be97befe
child 27681 8cedebf55539
     1.1 --- a/src/Pure/Isar/locale.ML	Sun May 18 15:04:37 2008 +0200
     1.2 +++ b/src/Pure/Isar/locale.ML	Sun May 18 15:04:41 2008 +0200
     1.3 @@ -683,7 +683,7 @@
     1.4          let
     1.5            val T' = Envir.norm_type (fst envir) T;
     1.6            val U' = Envir.norm_type (fst envir) U;
     1.7 -          val prt = Sign.string_of_typ thy;
     1.8 +          val prt = Syntax.string_of_typ ctxt;
     1.9          in
    1.10            raise TYPE ("unify_parms: failed to unify types " ^
    1.11              prt U' ^ " and " ^ prt T', [U', T'], [])