From 348756fe093ba24854ccb9a34cf39c3d556228cc Mon Sep 17 00:00:00 2001
From: "Srikumar K. S" <srikumarks@gmail.com>
Date: Thu, 24 Sep 2015 11:46:11 +0530
Subject: [PATCH] Fixed #6 - !lt is not same as gt

Thanks to @qfox for finding this.

TODO: The tests aren't currently hard-testing this property, as gt() is
only used in a branch and bound problem.
---
 fd.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/fd.js b/fd.js
index ebeb31f..5a32d9b 100644
--- a/fd.js
+++ b/fd.js
@@ -888,7 +888,7 @@ var FD = (function (exports, Math) {
 
     // Greater than propagator.
     Space.prototype.gt = function (v1name, v2name) {
-        return this.lt(v2name, v1name);
+        return this.lte(v2name, v1name);
     };
 
     // Less than or equal to propagator.
@@ -943,7 +943,7 @@ var FD = (function (exports, Math) {
 
     // Greater than or equal to.
     Space.prototype.gte = function (v1name, v2name) {
-        return this.lte(v2name, v1name);
+        return this.lt(v2name, v1name);
     };
 
     // Ensures that the two variables take on different values.