diff options
Diffstat (limited to 'Test/irondafny0/Queue.dfyi')
-rw-r--r-- | Test/irondafny0/Queue.dfyi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/irondafny0/Queue.dfyi b/Test/irondafny0/Queue.dfyi index 9f7eb534..06f4b29e 100644 --- a/Test/irondafny0/Queue.dfyi +++ b/Test/irondafny0/Queue.dfyi @@ -17,6 +17,6 @@ abstract module Queue { }
abstract module MainSpec {
- import Q as Queue
+ import Q : Queue
}
|