diff --git a/src/arith/lra/fourier_motzkin.ml b/src/arith/lra/fourier_motzkin.ml
index ab695cb5..e8752c5a 100644
--- a/src/arith/lra/fourier_motzkin.ml
+++ b/src/arith/lra/fourier_motzkin.ml
@@ -218,8 +218,8 @@ module Make(A : ARG)
     (* nornalize and return maximum variable *)
     let normalize (self:t) : t =
       match self.pred with
-      | Geq -> mk_ ~tag:self.tag Lt (LE.neg self.le)
-      | Gt -> mk_ ~tag:self.tag Leq (LE.neg self.le)
+      | Geq -> mk_ ~tag:self.tag Leq (LE.neg self.le)
+      | Gt -> mk_ ~tag:self.tag Lt (LE.neg self.le)
       | _ -> self
 
     let find_max (self:t) : T.t option * bool =