1.1 --- a/src/HOL/Tools/Nitpick/nitpick_util.ML	Fri Nov 26 22:04:33 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_util.ML	Fri Nov 26 22:29:41 2010 +0100
     1.3 @@ -204,7 +204,7 @@
     1.4  
     1.5  fun map3 _ [] [] [] = []
     1.6    | map3 f (x :: xs) (y :: ys) (z :: zs) = f x y z :: map3 f xs ys zs
     1.7 -  | map3 _ _ _ _ = raise UnequalLengths
     1.8 +  | map3 _ _ _ _ = raise ListPair.UnequalLengths
     1.9  
    1.10  fun double_lookup eq ps key =
    1.11    case AList.lookup (fn (SOME x, SOME y) => eq (x, y) | _ => false) ps