diff options
Diffstat (limited to 'Test/dafny4/Bug117.dfy')
-rw-r--r-- | Test/dafny4/Bug117.dfy | 4 |
1 files changed, 2 insertions, 2 deletions
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)
}
|