diff options
| author |  Unknown <afd@afd-THINK> | 2012-06-25 13:17:09 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK> | 2012-06-25 13:17:09 +0100 |
| commit | 65d7648ad268f8670246be96c76afdf53ccae871 (patch) | |
| tree | 5b771b4ce47e9fef40101941b84cb0a68f70cec0 /Test/vstte2012 | |
| parent | 9133e27da94c7f339b219fc73f077f0184c0af88 (diff) | |
| parent | 5d7c99ee7733108b73d3f26cacc2f7480baea22a (diff) | |
Merge
Diffstat (limited to 'Test/vstte2012')
| -rw-r--r-- | Test/vstte2012/BreadthFirstSearch.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/vstte2012/BreadthFirstSearch.dfy b/Test/vstte2012/BreadthFirstSearch.dfy index 5153b053..4373136b 100644 --- a/Test/vstte2012/BreadthFirstSearch.dfy +++ b/Test/vstte2012/BreadthFirstSearch.dfy @@ -1,4 +1,4 @@ -class BreadthFirstSearch<Vertex>
+class BreadthFirstSearch<Vertex(==)>
{
// The following function is left uninterpreted (for the purpose of the
// verification problem, it can be thought of as a parameter to the class)
|