diff options
Diffstat (limited to 'Test/hofs/Fold.dfy')
| -rw-r--r-- | Test/hofs/Fold.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/hofs/Fold.dfy b/Test/hofs/Fold.dfy index df7d0126..7ce99e56 100644 --- a/Test/hofs/Fold.dfy +++ b/Test/hofs/Fold.dfy @@ -15,7 +15,7 @@ function method Eval(e : Expr): int function method Fold(xs : List<A>, unit : B, f : (A,B) -> B): B reads f.reads; - requires forall x : A, y: B :: x < xs ==> f.requires(x,y); + requires forall x, y :: x < xs ==> f.requires(x,y); { match xs case Nil => unit |