--- a/src/HOL/ex/Records.thy Sun Jan 10 19:46:31 2016 -0800
+++ b/src/HOL/ex/Records.thy Sun Jan 10 20:13:29 2016 -0800
@@ -323,6 +323,7 @@
bar32 :: "'c \<times> 'b"
bar31 :: "'c \<times> 'a"
+print_record "('a,'b,'c) bar"
subsection \<open>Some code generation\<close>