From 1b62592015ec1ca042582404db12467f5b9fecfa Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 18 May 2017 13:44:00 -0700
Subject: [PATCH] change in a comment
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
src/util/lp/mps_reader.h | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/util/lp/mps_reader.h b/src/util/lp/mps_reader.h
index af9ae6b4e..4c793d56e 100644
--- a/src/util/lp/mps_reader.h
+++ b/src/util/lp/mps_reader.h
@@ -651,11 +651,11 @@ class mps_reader {
/*
If rhs is a constraint's right-hand-side value and range is the constraint's range value, then the range interval is defined according to the following table:
-
sense interval
G [rhs, rhs + |range|]
L [rhs - |range|, rhs]
- E [rhs, rhs + |range|] if range in [rhs - |range|, rhs] if range < 0
+ E [rhs, rhs + |range|] if range > 0,
+ [rhs - |range|, rhs] if range < 0
where |range| is range's absolute value.
*/