diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2013-01-18 17:54:04 -0800 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2013-01-18 17:54:04 -0800 |
| commit | 472f3de939e7b5d652a0d7b478a3edc1fec17a99 (patch) | |
| tree | 5571c083bac606b31ba5f628ba88bb7543c5057c /Source/Dafny/SccGraph.cs | |
| parent | 252dfd009b02014037fb154ff744d7644f0e0ab8 (diff) | |
Some additional resolution checks for co stuff.
Beefed up some test cases.
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 4ae1c185..01a72fc5 100644 --- a/Source/Dafny/SccGraph.cs +++ b/Source/Dafny/SccGraph.cs @@ -108,7 +108,7 @@ namespace Microsoft.Dafny { }
/// <summary>
- /// Idempotently adds verices 'from' and 'to' the graph, and then
+ /// Idempotently adds vertices 'from' and 'to' the graph, and then
/// adds an edge from 'from' to 'to'.
/// </summary>
public void AddEdge(Node from, Node to) {
|