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/Bug110.dfy | 2 +-
 Test/dafny4/Bug117.dfy | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'Test/dafny4')

diff --git a/Test/dafny4/Bug110.dfy b/Test/dafny4/Bug110.dfy
index 239f18d3..aa808669 100644
--- a/Test/dafny4/Bug110.dfy
+++ b/Test/dafny4/Bug110.dfy
@@ -27,5 +27,5 @@ abstract module Host {
 }
 
 abstract module Main {
-    import H as Host
+    import H : Host
 }
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