src/Pure/Tools/find_theorems.ML
changeset 34088 d6194ece49df
parent 33957 e9afca2118d4
child 35408 b48ab741683b
     1.1 --- a/src/Pure/Tools/find_theorems.ML	Mon Dec 14 11:30:13 2009 +0000
     1.2 +++ b/src/Pure/Tools/find_theorems.ML	Mon Dec 14 16:35:00 2009 +0100
     1.3 @@ -409,7 +409,7 @@
     1.4  
     1.5          val len = length matches;
     1.6          val lim = the_default (! limit) opt_limit;
     1.7 -      in (SOME len, drop (len - lim) matches) end;
     1.8 +      in (SOME len, drop (Int.max (len - lim, 0)) matches) end;
     1.9  
    1.10      val find =
    1.11        if rem_dups orelse is_none opt_limit