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/OpaqueFunctions.dfy | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/Test/dafny0/OpaqueFunctions.dfy b/Test/dafny0/OpaqueFunctions.dfy
index e1c0756c..b3cde309 100644
--- a/Test/dafny0/OpaqueFunctions.dfy
+++ b/Test/dafny0/OpaqueFunctions.dfy
@@ -44,7 +44,7 @@ module A' refines A {
 }
 
 module B {
-  import X as A
+  import X : A
   method Main() {
     var c := new X.C();
     c.M();  // fine
@@ -68,7 +68,7 @@ module B {
   }
 }
 module B_direct {
-  import X as A'
+  import X : A'
   method Main() {
     var c := new X.C();
     c.M();  // fine
-- 
cgit v1.2.3