From 363b43b25df5ab03b7954a421a00303668eea7eb Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 13 Apr 2009 08:44:32 -0400 Subject: Simplify type class requirement for tree demo --- demo/treeFun.urs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'demo/treeFun.urs') diff --git a/demo/treeFun.urs b/demo/treeFun.urs index 64a14f4f..323c2e5a 100644 --- a/demo/treeFun.urs +++ b/demo/treeFun.urs @@ -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) : sig -- cgit v1.2.3