Dafny: updated test suite to new syntax

1 files changed, 1 insertions, 1 deletions

diff --git a/Test/dafny0/Refinement.dfy b/Test/dafny0/Refinement.dfy
index 2c2fc52b..e5c06a5e 100644
--- a/Test/dafny0/Refinement.dfy
+++ b/Test/dafny0/Refinement.dfy
@@ -156,7 +156,7 @@ module Concrete refines Abstract {
 }
 
 module Client {
-  module C = Concrete;
+  import C = Concrete;
   class TheClient {
     method Main() {
       var n := new C.MyNumber.Init();