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

(limited to 'Test/dafny4/Bug117.dfy')

diff --git a/Test/dafny4/Bug117.dfy b/Test/dafny4/Bug117.dfy
index 2ae4bc70..418746cb 100644
--- a/Test/dafny4/Bug117.dfy
+++ b/Test/dafny4/Bug117.dfy
@@ -8,14 +8,14 @@ abstract module AbstractModule1
 
 abstract module AbstractModule2 
 {
-	import opened AM1 as AbstractModule1
+	import opened AM1 : AbstractModule1
 	
 	datatype AbstractType2 = AbstractType2(x:AbstractType1)
 } 
 
 abstract module AbstractModule3 
 {
-	import AM1 as AbstractModule1
+	import AM1 : AbstractModule1
 	
 	datatype AbstractType2 = AbstractType2(x:AM1.AbstractType1)
 } 
-- 
cgit v1.2.3