# HG changeset patch
# User nipkow
# Date 1123496103 -7200
# Node ID 3e41d98bf6d49bff3fabe74f3920ffacb80dddaa
# Parent  ffa73448025e7499a7d69cf387707ec6ad44db59
fixed typo in ratadd

diff -r ffa73448025e -r 3e41d98bf6d4 src/Pure/library.ML
--- a/src/Pure/library.ML	Mon Aug 08 09:29:16 2005 +0200
+++ b/src/Pure/library.ML	Mon Aug 08 12:15:03 2005 +0200
@@ -1262,7 +1262,7 @@
     in if a then p < r else r < p end
 
 fun ratadd(Rat(a,p,q),Rat(b,r,s)) =
-  let val (p,q,den) = ratcommon(p,q,r,s)
+  let val (p,r,den) = ratcommon(p,q,r,s)
       val num = (if a then p else ~p) + (if b then r else ~r)
   in ratnorm(true,num,den) end;