Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/rat.ML
changeset 22189 10278e568741
parent 19557 4866ebb16ba8
child 22574 e6c25fd3de2a 
--- a/src/Pure/General/rat.ML	Fri Jan 26 09:24:35 2007 +0100
+++ b/src/Pure/General/rat.ML	Fri Jan 26 10:22:42 2007 +0100
@@ -87,7 +87,7 @@
   | lt (Rat (true, _, _), Rat (false, _, _)) = false
   | lt (Rat (a, p1, q1), Rat (_, p2, q2)) =
       let val (r1, r2, _) = common (p1, q1, p2, q2)
-      in if a then r1 <= r2 else r2 <= r1 end;
+      in if a then r1 < r2 else r2 < r1 end;
 
 fun ord (Rat (false, _, _), Rat (true, _, _)) = LESS
   | ord (Rat (true, _, _), Rat (false, _, _)) = GREATER
isabelle