diff options
Diffstat (limited to 'Dafny/SccGraph.cs')
-rw-r--r-- | Dafny/SccGraph.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/SccGraph.cs b/Dafny/SccGraph.cs index a3337ccc..9f4b22c5 100644 --- a/Dafny/SccGraph.cs +++ b/Dafny/SccGraph.cs @@ -4,7 +4,7 @@ using System.Diagnostics.Contracts; namespace Microsoft.Dafny {
- public class Graph<Node>
+ public class Graph<Node> where Node : class
{
enum VisitedStatus { Unvisited, OnStack, Visited }
class Vertex {
|