summaryrefslogtreecommitdiff
path: root/demo/roundTrip.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 16:22:11 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 16:22:11 -0400
commit0230ce71e14ea09b3037ff4b58c3bae323c12236 (patch)
tree931b8113bdd0687ea37ee48d1dede73a7cc65a46 /demo/roundTrip.ur
parenta4849d43a72070576fbb7a0d3a48956948152899 (diff)
Add primary keys to demo
Diffstat (limited to 'demo/roundTrip.ur')
-rw-r--r--demo/roundTrip.ur1
1 files changed, 1 insertions, 0 deletions
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;