diff options
Diffstat (limited to 'Test/irondafny0/opened_workaround.dfy')
-rw-r--r-- | Test/irondafny0/opened_workaround.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/irondafny0/opened_workaround.dfy b/Test/irondafny0/opened_workaround.dfy index 7464c346..6d44ccfd 100644 --- a/Test/irondafny0/opened_workaround.dfy +++ b/Test/irondafny0/opened_workaround.dfy @@ -17,5 +17,5 @@ abstract module B { }
abstract module C {
- import Bee as B // Works
+ import Bee : B // Works
}
|