1 files changed, 2 insertions, 2 deletions
diff --git a/Source/VCGeneration/DoomErrorHandler.cs b/Source/VCGeneration/DoomErrorHandler.cs
index 010fce95..f31b597e 100644
--- a/Source/VCGeneration/DoomErrorHandler.cs
+++ b/Source/VCGeneration/DoomErrorHandler.cs
@@ -59,7 +59,7 @@ void ObjectInvariant()
           Contract.Requires(cce.NonNullElements(traceblocks));
             m_Reachvar = reachvar;
             m_DoomedBlocks = doomedblocks;
-            m_TraceBlocks = traceblocks;            
+            m_TraceBlocks = traceblocks;
         }
         
         
@@ -90,7 +90,7 @@ void ObjectInvariant()
             //Console.Write("{0}, ", b.Label);
           } else {
             AssertCmd a = (AssertCmd)node;
-            assertNodes.Add(a);            
+            assertNodes.Add(a);
           }
         }
         m_CurrentTrace.AddRange(traceNodes);