src/Provers/Arith/cancel_div_mod.ML

--- a/src/Provers/Arith/cancel_div_mod.ML	Wed Oct 21 10:15:31 2009 +0200
+++ b/src/Provers/Arith/cancel_div_mod.ML	Wed Oct 21 12:09:37 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 inter (op =) (divs, mods) of
+     else case inter (op =) mods divs of
             pq :: _ => SOME (cancel ss t pq)
           | [] => NONE
   end