# HG changeset patch
# User haftmann
# Date 1239883334 -7200
# Node ID 1fe5a573b552880eb548fa8de15eee95923e1fc2
# Parent  d13cecf4ed4c0117aef6d63fc48a628c9493758f
whitespace tuning

diff -r d13cecf4ed4c -r 1fe5a573b552 src/Provers/Arith/cancel_div_mod.ML
--- a/src/Provers/Arith/cancel_div_mod.ML	Thu Apr 16 14:02:13 2009 +0200
+++ b/src/Provers/Arith/cancel_div_mod.ML	Thu Apr 16 14:02:14 2009 +0200
@@ -69,7 +69,7 @@
 
 fun cancel ss t pq =
   let val teqt' = Data.prove_eq_sums ss (t, rearrange t pq)
-  in hd(Data.div_mod_eqs RL [teqt' RS transitive_thm]) end;
+  in hd (Data.div_mod_eqs RL [teqt' RS transitive_thm]) end;
 
 fun proc ss t =
   let val (divs,mods) = coll_div_mod t ([],[])