diff options
| author |  MichalMoskal <unknown> | 2010-08-06 16:32:26 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-08-06 16:32:26 +0000 |
| commit | 1053998b74247e4521dfcff9dd1b46b30d391a33 (patch) | |
| tree | 0099c6d98b7d9a9b1be7444efae9ef5f3a2209e3 /Source/Dafny/SccGraph.cs | |
| parent | 9edae7ed37692a03f1c1e5c9596b5bd88482f829 (diff) | |
More line ending fixups.
Diffstat (limited to 'Source/Dafny/SccGraph.cs')
| -rw-r--r-- | Source/Dafny/SccGraph.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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);
}
}
|