changeset 42243 | 2f998ff67d0f |
parent 42242 | 39261908e12f |
child 42245 | 29e3967550d5 |
--- a/src/HOL/Tools/record.ML Tue Apr 05 23:14:41 2011 +0200 +++ b/src/HOL/Tools/record.ML Wed Apr 06 10:59:43 2011 +0200 @@ -662,7 +662,7 @@ fun get_sort env xi = the_default (Sign.defaultS thy) (AList.lookup (op =) env (xi: indexname)); in - Standard_Syntax.typ_of_term (get_sort (Standard_Syntax.term_sorts t)) t + Syntax_Phases.typ_of_term (get_sort (Syntax_Phases.term_sorts t)) t end;