From b6ee9834322867aeff2e38934acc77eaba8c8f76 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Wed, 30 Nov 2005 13:18:43 +0000
Subject: [PATCH] Fixed typo in overload.tr.

---
 transfer/examples/overload.tr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/transfer/examples/overload.tr b/transfer/examples/overload.tr
index 09d62d15f..ef610e76b 100644
--- a/transfer/examples/overload.tr
+++ b/transfer/examples/overload.tr
@@ -93,7 +93,7 @@ Ord : Type -> Type
 Ord A = sig { compare : A -> A -> Ordering }
 
 compare : (A : Type) -> Ord A -> A -> A -> Ordering
-compare _ d = compare
+compare _ d = d.compare
 
 ordOp : (Ordering -> Bool) -> (A : Type) -> Ord A -> A -> A -> Bool
 ordOp f A d x y = f (compare A d x y)