summaryrefslogtreecommitdiff
path: root/demo/crud1.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/crud1.ur
parenta4849d43a72070576fbb7a0d3a48956948152899 (diff)
Add primary keys to demo
Diffstat (limited to 'demo/crud1.ur')
-rw-r--r--demo/crud1.ur1
1 files changed, 1 insertions, 0 deletions
diff --git a/demo/crud1.ur b/demo/crud1.ur
index 3849e822..796c063d 100644
--- a/demo/crud1.ur
+++ b/demo/crud1.ur
@@ -1,4 +1,5 @@
table t1 : {Id : int, A : int, B : string, C : float, D : bool}
+ PRIMARY KEY Id
open Crud.Make(struct
val tab = t1