From 2805a8ee2cb0f431301b09443709b78699acd671 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 9 May 2005 08:45:23 +0000
Subject: fix in CheckGrammar case exprs

---
 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 57cdf9434..c3651ae82 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> : Prec * Prec> of {
+      case <x.p,p> 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