Boogie:

* enhanced the printing of captured states
* addressed some warnings issued by VS 2010
* some code formatting

1 files changed, 2 insertions, 5 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 398382a8..39f69ccc 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -3611,11 +3611,8 @@ namespace Microsoft.Boogie {
           return new Sequential(new AtomicRE(b), second);

         }

       } else {

-        {

-          Contract.Assume(false);

-          throw new cce.UnreachableException();

-        }

-        return new AtomicRE(b);

+        Contract.Assume(false);

+        throw new cce.UnreachableException();

       }

     }

   }