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