From 78e74bf9fa5ad7175cafd171427f58f556256e4a Mon Sep 17 00:00:00 2001
From: Dan Rosén <danr@chalmers.se>
Date: Tue, 19 Aug 2014 10:30:44 -0700
Subject: Fix type inference bug in data rank comparison when one side can be a
 TypeVar

---
 Test/hofs/Fold.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/hofs')

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
-- 
cgit v1.2.3