From d29e6f4041c7a1a6077a14ba6439512f33d10489 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sat, 13 Jun 2009 13:36:41 +0000
Subject: [PATCH] use oper in examples

---
 prelude/Precedence.gf | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prelude/Precedence.gf b/prelude/Precedence.gf
index 1e0b1a77..62775958 100644
--- a/prelude/Precedence.gf
+++ b/prelude/Precedence.gf
@@ -7,7 +7,7 @@ resource Precedence = open Prelude in {
 param 
 Prec = p4 | p3 | p2 | p1 | p0 ;
 
-lintype 
+oper
 PrecTerm = Prec => Str ;
 
 oper 
@@ -75,7 +75,7 @@ mkInfixR : Str -> Prec -> PrecTerm -> PrecTerm -> PrecTerm =
 -- alternative:
 -- precedence as inherent feature
 
-lintype TermWithPrec = {s : Str ; p : Prec} ;
+oper TermWithPrec = {s : Str ; p : Prec} ;
 
 oper 
 mkpPrec : Str -> Prec -> TermWithPrec =