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) {