[PPL-devel] [GIT] ppl/ppl(master): Silenced warnings.

16 Apr 2010

Module: ppl/ppl
Branch: master
Commit: 4c2dac122ee1de57646e57a6268d1c191f973114
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c2dac122ee1d...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Fri Apr 16 09:02:05 2010 +0200
Silenced warnings.
---
src/intervals.defs.hh |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/src/intervals.defs.hh b/src/intervals.defs.hh
index 86b6e94..8477393 100644
--- a/src/intervals.defs.hh
+++ b/src/intervals.defs.hh
@@ -253,6 +253,8 @@ public:
     case V_EQ_MINUS_INFINITY:
     case V_EQ:
       return V_LGE;
+    default:
+      break;
     }
     rel1 = assign_r(to1, c.value(), ROUND_DOWN);
     rel1 = result_relation_class(rel1);

    