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