From eacaf0b44276f0a61d6cc4204bb4d48d02fc0548 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Mon, 11 Jul 2011 19:08:48 -0700
Subject: Dafny: allow constructors only inside classes, removed semi-colons at
 end of body-less functions/methods

---
 Test/dafny1/UltraFilter.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny1/UltraFilter.dfy')

diff --git a/Test/dafny1/UltraFilter.dfy b/Test/dafny1/UltraFilter.dfy
index 189ff2b5..c8419890 100644
--- a/Test/dafny1/UltraFilter.dfy
+++ b/Test/dafny1/UltraFilter.dfy
@@ -29,7 +29,7 @@ class UltraFilter<G> {
   }
 
   // Dafny currently does not have a set comprehension expression, so this method stub will have to do
-  method H(f: set<set<G>>, S: set<G>, M: set<G>) returns (h: set<set<G>>);
+  method H(f: set<set<G>>, S: set<G>, M: set<G>) returns (h: set<set<G>>)
     ensures (forall X :: X in h <==> M + X in f);
 
   method Lemma_HIsFilter(h: set<set<G>>, f: set<set<G>>, S: set<G>, M: set<G>)
-- 
cgit v1.2.3