--- a/src/HOL/Tools/Nitpick/nitpick_rep.ML Mon Mar 03 22:33:22 2014 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_rep.ML Mon Mar 03 22:33:22 2014 +0100
@@ -274,8 +274,8 @@
best_non_opt_set_rep_for_type scope (T' --> bool_T)
| best_non_opt_set_rep_for_type scope T = best_one_rep_for_type scope T
-fun best_set_rep_for_type (scope as {datatypes, ...}) T =
- (if is_exact_type datatypes true T then best_non_opt_set_rep_for_type
+fun best_set_rep_for_type (scope as {data_types, ...}) T =
+ (if is_exact_type data_types true T then best_non_opt_set_rep_for_type
else best_opt_set_rep_for_type) scope T
fun best_non_opt_symmetric_reps_for_fun_type (scope as {ofs, ...})