From 0493f640d3fd649468f128407894dbbc9bddc767 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Fri, 18 Jun 2010 07:07:32 +0000
Subject: test script for query

---
 examples/query/Query.gf | 1 +
 1 file changed, 1 insertion(+)

(limited to 'examples/query/Query.gf')

diff --git a/examples/query/Query.gf b/examples/query/Query.gf
index f8da256c7..9674d40e0 100644
--- a/examples/query/Query.gf
+++ b/examples/query/Query.gf
@@ -32,6 +32,7 @@ fun
   AAct   : Set  -> Activity -> Answer ; -- S As
 
   SAll   : Kind -> Set ;  -- all Ks | the Ks
+  SRel   : Set  -> Relation -> Set ;  -- S's Rs
   SOne   : Kind -> Set ;  -- one K
   SIndef : Kind -> Set ;  -- a K
   SPlural : Kind -> Set ;  -- Ks
-- 
cgit v1.2.3