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