# HG changeset patch
# User haftmann
# Date 1129898857 -7200
# Node ID 924d3e71cdc9d0e72dba5881473627ac6094f0ec
# Parent  0150d6d7728b81f6c4508d578418c6423d0b1934
slight corrections

diff -r 0150d6d7728b -r 924d3e71cdc9 src/Pure/General/rat.ML
--- a/src/Pure/General/rat.ML	Fri Oct 21 10:32:59 2005 +0200
+++ b/src/Pure/General/rat.ML	Fri Oct 21 14:47:37 2005 +0200
@@ -48,7 +48,7 @@
 fun rat_of_int i = rat_of_intinf (IntInf.fromInt i);
 
 fun norm (a, 0, q) =
-      Rat (true, 0, 1) (*is that intentional?*)
+      Rat (true, 0, 1)
   | norm (a, p, q) =
       let
         val absp = abs p