diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/gfcc/ResImper.gf | 2 |
1 files changed, 1 insertions, 1 deletions
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 ; |