# HG changeset patch
# User kleing
# Date 1452485609 28800
# Node ID b8c973d90ae7f3e970259ca2c6225ff06fb3ccac
# Parent  e60f1a925b4d1d75b058d5a4f972a32b49518373
add more frequently-run test for print_record

diff -r e60f1a925b4d -r b8c973d90ae7 src/HOL/ex/Records.thy
--- 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>