--- a/src/HOL/Tools/Nitpick/nitpick_rep.ML Thu Jan 14 17:06:35 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_rep.ML Wed Jan 20 10:38:06 2010 +0100
@@ -274,8 +274,8 @@
| (R1, R2) => Struct [R1, R2])
| best_one_rep_for_type (scope as {card_assigns, datatypes, ofs, ...}) T =
(case card_of_type card_assigns T of
- 1 => if is_some (datatype_spec datatypes T)
- orelse is_fp_iterator_type T then
+ 1 => if is_some (datatype_spec datatypes T) orelse
+ is_fp_iterator_type T then
Atom (1, offset_of_type ofs T)
else
Unit