diff options
| author |  Rustan Leino <unknown> | 2014-01-03 17:25:25 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-01-03 17:25:25 -0800 |
| commit | acee5277ceb3070404a2643c647b017edc5c5c4c (patch) | |
| tree | 925eaacf17fba195d04cb251e95ee78971a0a3e5 /Test/vstte2012 | |
| parent | 2e7ceecaad3cb39e61a431382ac88627046b1c4e (diff) | |
Removed unused declaration
Diffstat (limited to 'Test/vstte2012')
| -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)
|