diff --git a/domains/interval.ml b/domains/interval.ml
index 1fa2800..d7ad380 100644
--- a/domains/interval.ml
+++ b/domains/interval.ml
@@ -98,7 +98,7 @@ module Interval : NAKED_VALUE_DOMAIN = struct
           let r2 = rand (Z.max z1.lower z2.lower) z2.upper in
           (r1, r2)
     | AST_GREATER -> let r1, r2 = compare z2 z1 AST_LESS in r2, r1
-    | AST_GREATER_EQUAL -> let r1, r2 = compare z2 z1 AST_GREATER_EQUAL in r2, r1
+    | AST_GREATER_EQUAL -> let r1, r2 = compare z2 z1 AST_LESS_EQUAL in r2, r1
 
   let bwd_binary z1 z2 op r =
     match op with