diff options
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) {
|