1 files changed, 3 insertions, 2 deletions
diff --git a/Test/dafny0/Refinement.dfy b/Test/dafny0/Refinement.dfy
index da7f0ac2..2c2fc52b 100644
--- a/Test/dafny0/Refinement.dfy
+++ b/Test/dafny0/Refinement.dfy
@@ -155,10 +155,11 @@ module Concrete refines Abstract {
   }
 }
 
-module Client imports Concrete {
+module Client {
+  module C = Concrete;
   class TheClient {
     method Main() {
-      var n := new MyNumber.Init();
+      var n := new C.MyNumber.Init();
       n.Inc();
       n.Inc();
       var k := n.Get();