From acee5277ceb3070404a2643c647b017edc5c5c4c Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Fri, 3 Jan 2014 17:25:25 -0800
Subject: Removed unused declaration

---
 Test/vstte2012/BreadthFirstSearch.dfy | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Test/vstte2012')

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)
-- 
cgit v1.2.3