fixed typo in ratadd
authornipkow
Mon Aug 08 12:15:03 2005 +0200 (2005-08-08)
changeset 170323e41d98bf6d4
parent 17031 ffa73448025e
child 17033 f4c1ce91aa3c
fixed typo in ratadd
src/Pure/library.ML
     1.1 --- a/src/Pure/library.ML	Mon Aug 08 09:29:16 2005 +0200
     1.2 +++ b/src/Pure/library.ML	Mon Aug 08 12:15:03 2005 +0200
     1.3 @@ -1262,7 +1262,7 @@
     1.4      in if a then p < r else r < p end
     1.5  
     1.6  fun ratadd(Rat(a,p,q),Rat(b,r,s)) =
     1.7 -  let val (p,q,den) = ratcommon(p,q,r,s)
     1.8 +  let val (p,r,den) = ratcommon(p,q,r,s)
     1.9        val num = (if a then p else ~p) + (if b then r else ~r)
    1.10    in ratnorm(true,num,den) end;
    1.11