[PPL-devel] [GIT] ppl/ppl(master): Corrected typo.

[Enea Zaffanella]

Module: ppl/ppl
Branch: master
Commit: de1057e784596ac8183184cbed12d4b48d782300
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de1057e784596ac8183184cbed12d4b48d782300

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Apr  2 09:04:15 2012 +0200

Corrected typo.

---

 NEWS |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/NEWS b/NEWS
index 97ed008..1b83c0f 100644
--- a/NEWS
+++ b/NEWS
@@ -20,7 +20,7 @@ o  Added new Box<ITV> methods
 
    bool has_upper_bound(Variable var,
                         Coefficient& n, Coefficient& d, bool& closed) const;
-   bool has_upper_bound(Variable var,
+   bool has_lower_bound(Variable var,
                         Coefficient& n, Coefficient& d, bool& closed) const;
 
    to query a non-empty box for the existence and value of its upper/lower