From c520039f1c0f8b12be8291cf2c81245bd13076ad Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 22 May 2009 21:42:21 +0000
Subject: [PATCH] fix the funpatt testcase

---
 testsuite/compiler/renamer/funpatt.gf | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/testsuite/compiler/renamer/funpatt.gf b/testsuite/compiler/renamer/funpatt.gf
index 8406e1e3b..0fd987f17 100644
--- a/testsuite/compiler/renamer/funpatt.gf
+++ b/testsuite/compiler/renamer/funpatt.gf
@@ -4,11 +4,11 @@ abstract funpatt = {
 -- we cannot pattern match on functions
 
 cat D ;
-fun D1 : D ;
-    D2 : D ;
+fun D1 : Int -> D ;
+    D2 : Int -> D ;
 
 fun d : D -> Int ;
-def d D1 = 1 ;
-    d D2 = 2 ;
+def d (D1 _) = 1 ;
+    d (D2 _) = 2 ;
 
 }
\ No newline at end of file