summaryrefslogtreecommitdiff
path: root/demo/treeFun.ur
diff options
context:
space:
mode:
Diffstat (limited to 'demo/treeFun.ur')
-rw-r--r--demo/treeFun.ur3
1 files changed, 1 insertions, 2 deletions
diff --git a/demo/treeFun.ur b/demo/treeFun.ur
index 25d11927..2d4ef739 100644
--- a/demo/treeFun.ur
+++ b/demo/treeFun.ur
@@ -6,8 +6,7 @@ functor Make(M : sig
constraint [id] ~ [parent]
constraint [id, parent] ~ cols
- val key_inj : sql_injectable key
- val option_key_inj : sql_injectable (option key)
+ val key_inj : sql_injectable_prim key
table tab : ([id = key, parent = option key] ++ cols)
end) = struct