From 2be514ca20e1478b6df02ef2b4c2725c319ac934 Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Tue, 2 Feb 2016 12:40:07 -0800
Subject: Mark old "import A as B" syntax as deprecated. The new syntax is
 "import A : B"

---
 Test/dafny0/Modules2.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny0/Modules2.dfy')

diff --git a/Test/dafny0/Modules2.dfy b/Test/dafny0/Modules2.dfy
index a8dde8ce..beb80546 100644
--- a/Test/dafny0/Modules2.dfy
+++ b/Test/dafny0/Modules2.dfy
@@ -31,7 +31,7 @@ module Test {
 }
 
 module Test2 {
-  import opened B as A
+  import opened B : A
   method m() {
     var c := new C;   // fine, as A was opened
     var c' := new B.C;// also fine, as A is bound
-- 
cgit v1.2.3