diff options
Diffstat (limited to 'Test/vstte2012/BreadthFirstSearch.dfy')
| -rw-r--r-- | Test/vstte2012/BreadthFirstSearch.dfy | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Test/vstte2012/BreadthFirstSearch.dfy b/Test/vstte2012/BreadthFirstSearch.dfy index 535a7d90..f1181ed2 100644 --- a/Test/vstte2012/BreadthFirstSearch.dfy +++ b/Test/vstte2012/BreadthFirstSearch.dfy @@ -248,5 +248,3 @@ static function elements<T>(list: List<T>): set<T> case Nil => {}
case Cons(x, tail) => {x} + elements(tail)
}
-
-datatype Nat = Zero | Suc(predecessor: Nat)
|