From dce3068343b69346d7262ea51136d4b3d7031426 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Atgeirr=20Fl=C3=B8=20Rasmussen?= <atgeirr@sintef.no>
Date: Tue, 10 Apr 2012 14:05:39 +0200
Subject: [PATCH] Modified some assertions.  - In a gravity segregation
 setting, total upwind mobility may be zero.  - Make assertion more readable
 by removing negation.

---
 opm/polymer/SinglePointUpwindTwoPhasePolymer.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/opm/polymer/SinglePointUpwindTwoPhasePolymer.hpp b/opm/polymer/SinglePointUpwindTwoPhasePolymer.hpp
index ff53e37e6..64b0d0a8b 100644
--- a/opm/polymer/SinglePointUpwindTwoPhasePolymer.hpp
+++ b/opm/polymer/SinglePointUpwindTwoPhasePolymer.hpp
@@ -297,10 +297,10 @@ namespace Opm {
             double mc, dmcdc;
             upwindMobility(dflux, gflux, n, pix, m, dmds, dmobwatdc, mc, dmcdc);
 
-            assert (! ((m[0] < 0) || (m[1] < 0)));
+            assert ((m[0] >= 0.0) && (m[1] >= 0.0));
 
             double mt = m[0] + m[1];
-            assert (mt > 0);
+            assert (mt >= 0.0);
 
             double sgn  = 2.0*(n[0] == cell) - 1.0;
             dflux      *= sgn;