From 24158c81fb4cc8b318ceb5bc461ab2f494cb7b78 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/roundTrip.ur | 1 +
 1 file changed, 1 insertion(+)

(limited to 'demo/roundTrip.ur')

diff --git a/demo/roundTrip.ur b/demo/roundTrip.ur
index a2be8083..a0d29bf6 100644
--- a/demo/roundTrip.ur
+++ b/demo/roundTrip.ur
@@ -1,4 +1,5 @@
 table channels : { Client : client, Channel : channel (string * int * float) }
+  PRIMARY KEY Client
 
 fun writeBack v =
     me <- self;
-- 
cgit v1.2.3