1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny3/CachedContainer.dfy b/Test/dafny3/CachedContainer.dfy
index 18c12862..a3824fbf 100644
--- a/Test/dafny3/CachedContainer.dfy
+++ b/Test/dafny3/CachedContainer.dfy
@@ -117,7 +117,7 @@ module M3 refines M2 {
 
 // here a client of the Container
 module Client {
-  import M as M0 default M2;
+  import M as M0 default M2
   method Test() {
     var c := new M.Container();
     c.Add(56);
@@ -134,7 +134,7 @@ module Client {
 }
 
 module CachedClient refines Client {
-  import M = M3;
+  import M = M3
   method Main() {
     Test();
   }