From 2541e9de002267359897bf967755172fcc726512 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Mon, 22 Oct 2012 02:18:51 -0700
Subject: renamed "abstract module" to "module facade" renamed "ghost module"
 to "abstract module", adding a keyword "abstract"

---
 Test/dafny3/CachedContainer.dfy | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Test/dafny3')

diff --git a/Test/dafny3/CachedContainer.dfy b/Test/dafny3/CachedContainer.dfy
index 9bde80da..6ac5ff2f 100644
--- a/Test/dafny3/CachedContainer.dfy
+++ b/Test/dafny3/CachedContainer.dfy
@@ -1,5 +1,5 @@
-// give the method signatures and specs 
-ghost module M0 {
+// give the method signatures and specs
+abstract module M0 {
   class {:autocontracts} Container<T(==)> {
     ghost var Contents: set<T>;
     predicate Valid()
@@ -16,7 +16,7 @@ ghost module M0 {
 }
 
 // provide bodies for the methods
-ghost module M1 refines M0 {
+abstract module M1 refines M0 {
   class Container<T(==)> {
     constructor... {
       Contents := {};
-- 
cgit v1.2.3