From 44d4902bb4bd52c1c074d3189da078cd12ff64b6 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie@cmu.edu>
Date: Thu, 17 Mar 2016 21:44:24 -0400
Subject: [PATCH] typo: gt -> ge

---
 src/smt/smt_farkas_util.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_farkas_util.cpp b/src/smt/smt_farkas_util.cpp
index c1a303299..c5ff42e3e 100644
--- a/src/smt/smt_farkas_util.cpp
+++ b/src/smt/smt_farkas_util.cpp
@@ -62,7 +62,7 @@ namespace smt {
 
     app* farkas_util::mk_ge(expr* e1, expr* e2) {
         mk_coerce(e1, e2);
-        return a.mk_gt(e1, e2);
+        return a.mk_ge(e1, e2);
     }
 
     app* farkas_util::mk_gt(expr* e1, expr* e2) {