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/broadcast.ur | 1 +
 1 file changed, 1 insertion(+)

(limited to 'demo/broadcast.ur')

diff --git a/demo/broadcast.ur b/demo/broadcast.ur
index 13cb5ceb..29d8d8fb 100644
--- a/demo/broadcast.ur
+++ b/demo/broadcast.ur
@@ -1,6 +1,7 @@
 functor Make(M : sig type t end) = struct
     sequence s
     table t : {Id : int, Client : client, Channel : channel M.t}
+      PRIMARY KEY Id
 
     type topic = int
 
-- 
cgit v1.2.3