diff options
Diffstat (limited to 'Test/dafny2')
| -rw-r--r-- | Test/dafny2/StoreAndRetrieve.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny2/StoreAndRetrieve.dfy b/Test/dafny2/StoreAndRetrieve.dfy index d8938aa7..93bf1812 100644 --- a/Test/dafny2/StoreAndRetrieve.dfy +++ b/Test/dafny2/StoreAndRetrieve.dfy @@ -1,4 +1,4 @@ -ghost module A {
+abstract module A {
import L = Library;
class {:autocontracts} StoreAndRetrieve<Thing> {
ghost var Contents: set<Thing>;
|