From 0230ce71e14ea09b3037ff4b58c3bae323c12236 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 7 Apr 2009 16:22:11 -0400
Subject: Add primary keys to demo

---
 demo/chat.ur | 1 +
 1 file changed, 1 insertion(+)

(limited to 'demo/chat.ur')

diff --git a/demo/chat.ur b/demo/chat.ur
index ad1bf2ca..067397eb 100644
--- a/demo/chat.ur
+++ b/demo/chat.ur
@@ -4,6 +4,7 @@ structure Room = Broadcast.Make(struct
 
 sequence s
 table t : { Id : int, Title : string, Room : Room.topic }
+  PRIMARY KEY Id
 
 fun chat id =
     r <- oneRow (SELECT t.Title, t.Room FROM t WHERE t.Id = {[id]});
-- 
cgit v1.2.3