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