From b97d6abb8190cdcb595b9bf48051cc4a98f01156 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sun, 6 Sep 2009 20:31:52 +0000
Subject: hopefully complete and correct typechecker in PGF

---
 testsuite/runtime/eval/Test.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'testsuite/runtime/eval/Test.gf')

diff --git a/testsuite/runtime/eval/Test.gf b/testsuite/runtime/eval/Test.gf
index 71a7dc2c2..a0131d767 100644
--- a/testsuite/runtime/eval/Test.gf
+++ b/testsuite/runtime/eval/Test.gf
@@ -14,7 +14,7 @@ def g0 = g2 ;
 fun g3 : Int -> (Int -> Int) ;
 def g3 3 = g ;
 
-fun const : Int -> Int -> Int ;
+fun const : Float -> String -> Float ;
 def const x _ = x ;
 
 cat Nat ;
-- 
cgit v1.2.3