src/HOL/Tools/Nitpick/nitpick_mono.ML
changeset 40722 441260986b63
parent 40146 f2a14b6effcf
child 40985 8b870370c26f
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_mono.ML	Fri Nov 26 22:04:33 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML	Fri Nov 26 22:29:41 2010 +0100
     1.3 @@ -393,7 +393,7 @@
     1.4    | do_mtype_comp cmp xs (M1 as MPair (M11, M12)) (M2 as MPair (M21, M22))
     1.5                    accum =
     1.6      (accum |> fold (uncurry (do_mtype_comp cmp xs)) [(M11, M21), (M12, M22)]
     1.7 -     handle Library.UnequalLengths =>
     1.8 +     handle ListPair.UnequalLengths =>
     1.9              raise MTYPE ("Nitpick_Mono.do_mtype_comp", [M1, M2], []))
    1.10    | do_mtype_comp _ _ (MType _) (MType _) accum =
    1.11      accum (* no need to compare them thanks to the cache *)