From 115b4213d515ce308568fd71e362f6ce2881fb50 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 12 Nov 2010 19:37:19 +0000
Subject: operations in the abstract syntax

---
 examples/nqueens/Nat.gf | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'examples')

diff --git a/examples/nqueens/Nat.gf b/examples/nqueens/Nat.gf
index 638fb277c..d80d462b5 100644
--- a/examples/nqueens/Nat.gf
+++ b/examples/nqueens/Nat.gf
@@ -11,8 +11,8 @@ data zNE : (i,j : Nat) -> NE i j -> NE (succ i) (succ j) ;
      lNE : (j : Nat) -> NE zero (succ j) ;
      rNE : (j : Nat) -> NE (succ j) zero ;
 
-fun plus : Nat -> Nat -> Nat ;
-def plus zero     n = n ;
-    plus (succ m) n = succ (plus m n) ;
+oper plus : Nat -> Nat -> Nat ;
+def  plus zero     n = n ;
+     plus (succ m) n = succ (plus m n) ;
 
-}
\ No newline at end of file
+}
-- 
cgit v1.2.3