From 31c05c4c7d486e849fea65d55eca08ef508eda95 Mon Sep 17 00:00:00 2001
From: Oleksii Matiiasevych <lastperson@gmail.com>
Date: Wed, 12 Apr 2017 15:22:52 +0800
Subject: [PATCH] Remove excessive condition from SafeMath.safeAdd()

There is no situation when `c>=a` will be `true` while `c>=b` will be `false`.
---
 contracts/SafeMath.sol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contracts/SafeMath.sol b/contracts/SafeMath.sol
index 0022768d4..869c3139a 100644
--- a/contracts/SafeMath.sol
+++ b/contracts/SafeMath.sol
@@ -25,7 +25,7 @@ contract SafeMath {
 
   function safeAdd(uint a, uint b) internal returns (uint) {
     uint c = a + b;
-    assert(c>=a && c>=b);
+    assert(c >= a);
     return c;
   }