From 4fc18b2fe45c9a29cb0b8fe93d3102cec9c83194 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Tue, 12 Oct 2010 00:13:50 +0000
Subject: Boogie: * enhanced the printing of captured states * addressed some
 warnings issued by VS 2010 * some code formatting

---
 Source/Basetypes/BigNum.cs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Source/Basetypes')

diff --git a/Source/Basetypes/BigNum.cs b/Source/Basetypes/BigNum.cs
index f5299f47..2e56fd1a 100644
--- a/Source/Basetypes/BigNum.cs
+++ b/Source/Basetypes/BigNum.cs
@@ -277,7 +277,6 @@ namespace Microsoft.Basetypes {
           }
         }
       }
-      return ZERO; // make compiler shut up
     }
 
     ////////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3