src/HOL/Tools/record.ML

--- a/src/HOL/Tools/record.ML	Tue Apr 05 18:06:45 2011 +0200
+++ b/src/HOL/Tools/record.ML	Tue Apr 05 23:14:41 2011 +0200
@@ -662,7 +662,7 @@
     fun get_sort env xi =
       the_default (Sign.defaultS thy) (AList.lookup (op =) env (xi: indexname));
   in
-    Syntax.typ_of_term (get_sort (Syntax.term_sorts t)) t
+    Standard_Syntax.typ_of_term (get_sort (Standard_Syntax.term_sorts t)) t
   end;