Module: ppl/ppl Branch: master Commit: f9c0ee2e5e9dd08b8f7bc22a79f3ac3717ec14ea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9c0ee2e5e9dd...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 27 09:25:46 2009 +0100
Missing else branch added.
---
src/Constraint_System.cc | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/Constraint_System.cc b/src/Constraint_System.cc index bb477d5..5c2bcc3 100644 --- a/src/Constraint_System.cc +++ b/src/Constraint_System.cc @@ -546,6 +546,8 @@ PPL::Constraint_System::ascii_load(std::istream& s) { x[i].set_is_equality(); else if (str == ">=" || str == ">") x[i].set_is_inequality(); + else + return false;
// Checking for equality of actual and declared types. switch (x[i].type()) {