src/Provers/Arith/cancel_div_mod.ML
changeset 33037 b22e44496dc2
parent 30937 1fe5a573b552
child 33038 8f9594c31de4
     1.1 --- a/src/Provers/Arith/cancel_div_mod.ML	Tue Oct 20 13:37:56 2009 +0200
     1.2 +++ b/src/Provers/Arith/cancel_div_mod.ML	Tue Oct 20 16:13:01 2009 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4  fun proc ss t =
     1.5    let val (divs,mods) = coll_div_mod t ([],[])
     1.6    in if null divs orelse null mods then NONE
     1.7 -     else case divs inter mods of
     1.8 +     else case gen_inter (op =) (divs, mods) of
     1.9              pq :: _ => SOME (cancel ss t pq)
    1.10            | [] => NONE
    1.11    end