diff options
Diffstat (limited to 'Test/dafny1/SchorrWaite-stages.dfy')
| -rw-r--r-- | Test/dafny1/SchorrWaite-stages.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny1/SchorrWaite-stages.dfy b/Test/dafny1/SchorrWaite-stages.dfy index 854af021..3ae1b555 100644 --- a/Test/dafny1/SchorrWaite-stages.dfy +++ b/Test/dafny1/SchorrWaite-stages.dfy @@ -17,7 +17,7 @@ abstract module M0 { var childrenVisited: nat;
}
- datatype Path = Empty | Extend(Path, Node);
+ datatype Path = Empty | Extend(Path, Node)
function Reachable(source: Node, sink: Node, S: set<Node>): bool
requires null !in S;
|