Stop pretty-print from emitting deprecated semi-colons.

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();

   }