# HG changeset patch
# User haftmann
# Date 1179567211 -7200
# Node ID 7507f94adc32cf69b77b7eb267f5e55d020c363c
# Parent  70435ffe077da78360509df98c920b1aa3c80b64
dropped nonsense comment

diff -r 70435ffe077d -r 7507f94adc32 src/Provers/Arith/fast_lin_arith.ML
--- a/src/Provers/Arith/fast_lin_arith.ML	Sat May 19 11:33:30 2007 +0200
+++ b/src/Provers/Arith/fast_lin_arith.ML	Sat May 19 11:33:31 2007 +0200
@@ -219,7 +219,7 @@
         then if exactl then lb else ratmiddle (lb, ub)
         else if exactu then ub else ratmiddle (lb, ub)
       else (*discrete domain, both bounds must be exact*)
-      if ord = GREATER (*FIXME this is apparently nonsense*)
+      if ord = GREATER
         then let val lb' = Rat.roundup lb in
           if Rat.le lb' ub then lb' else raise NoEx end
         else let val ub' = Rat.rounddown ub in