diff options
Diffstat (limited to 'Test/dafny3/GenericSort.dfy')
-rw-r--r-- | Test/dafny3/GenericSort.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny3/GenericSort.dfy b/Test/dafny3/GenericSort.dfy index ea75c196..7555817c 100644 --- a/Test/dafny3/GenericSort.dfy +++ b/Test/dafny3/GenericSort.dfy @@ -17,7 +17,7 @@ abstract module TotalOrder { }
abstract module Sort {
- import O as TotalOrder // let O denote some module that has the members of TotalOrder
+ import O : TotalOrder // let O denote some module that has the members of TotalOrder
predicate Sorted(a: array<O.T>, low: int, high: int)
requires a != null && 0 <= low <= high <= a.Length
|