From cdf1afd2610782b65f05c74b9efdacd147b76d81 Mon Sep 17 00:00:00 2001
From: "Iavor S. Diatchki" <diatchki@galois.com>
Date: Wed, 17 Dec 2014 15:39:44 -0800
Subject: [PATCH] A nicer way to desugar >=

---
 src/Cryptol/TypeCheck/Solver/Numeric/Simplify.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Cryptol/TypeCheck/Solver/Numeric/Simplify.hs b/src/Cryptol/TypeCheck/Solver/Numeric/Simplify.hs
index 8145cf99..7be1bb00 100644
--- a/src/Cryptol/TypeCheck/Solver/Numeric/Simplify.hs
+++ b/src/Cryptol/TypeCheck/Solver/Numeric/Simplify.hs
@@ -71,7 +71,7 @@ crySimpStep prop =
         (K (Nat 0), _) -> Just (y :== zero)
         (K Inf, _)     -> Just PTrue
         (_, K Inf)     -> Just (x :== inf)
-        _              -> Just (x :== y :|| x :> y)
+        _              -> Just (x :== inf :|| x :+ one :> y)
 
     x :==: y ->
       case (x,y) of