From 41657fed460ddc959db9d2a4c6000c77b5c82f3c Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 10 May 2005 13:16:59 +0000
Subject: tiny fixes

---
 examples/gfcc/ResImper.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'examples')

diff --git a/examples/gfcc/ResImper.gf b/examples/gfcc/ResImper.gf
index c3651ae82..57cdf9434 100644
--- a/examples/gfcc/ResImper.gf
+++ b/examples/gfcc/ResImper.gf
@@ -12,7 +12,7 @@ resource ResImper = open Predef in {
       {s = f ; p = p ; a = a} ;
 
     usePrec : PrecExp -> Prec -> Str = \x,p ->
-      case <x.p,p> of {
+      case <<x.p,p> : Prec * Prec> of {
         <3,4> | <2,3> | <2,4> => paren x.s ;
         <1,1> | <1,0> | <0,0> => x.s ;
         <1,_> | <0,_>         => paren x.s ;
-- 
cgit v1.2.3