From 1053998b74247e4521dfcff9dd1b46b30d391a33 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 6 Aug 2010 16:32:26 +0000
Subject: More line ending fixups.

---
 Source/Dafny/SccGraph.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Dafny/SccGraph.cs')

diff --git a/Source/Dafny/SccGraph.cs b/Source/Dafny/SccGraph.cs
index c7be5420..66541236 100644
--- a/Source/Dafny/SccGraph.cs
+++ b/Source/Dafny/SccGraph.cs
@@ -35,7 +35,7 @@ void ObjectInvariant()
       }
       public void AddSuccessor(Vertex v) {
         Contract.Requires(v != null);
-        Successors.Add(v);
+        Successors.Add(v);
       }
     }
 
-- 
cgit v1.2.3