# HG changeset patch
# User obua
# Date 1183562462 -7200
# Node ID 6be49c181c667147812ec72d775e84c752fbc8ed
# Parent  afecdba1645276c7597960ca33807cb4cb00611c
fixed argument order in calls to Integer.pow

diff -r afecdba16452 -r 6be49c181c66 src/HOL/Real/float_arith.ML
--- a/src/HOL/Real/float_arith.ML	Wed Jul 04 16:49:36 2007 +0200
+++ b/src/HOL/Real/float_arith.ML	Wed Jul 04 17:21:02 2007 +0200
@@ -85,8 +85,8 @@
 exception Floating_point of string;
 
 val ln2_10 = Math.ln 10.0 / Math.ln 2.0;
-val exp5 = Integer.pow 5;
-val exp10 = Integer.pow 10;
+fun exp5 x = Integer.pow x 5;
+fun exp10 x = Integer.pow x 10;
 
 fun find_most_significant q r =
   let