From 98370da7e9f70e3d83f666019b765e15f617b846 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 7 Apr 2009 15:04:07 -0400 Subject: Enhance table sig item support and get demo compiling again --- demo/treeFun.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo/treeFun.ur') diff --git a/demo/treeFun.ur b/demo/treeFun.ur index 15fe60f5..25d11927 100644 --- a/demo/treeFun.ur +++ b/demo/treeFun.ur @@ -9,7 +9,7 @@ functor Make(M : sig val key_inj : sql_injectable key val option_key_inj : sql_injectable (option key) - table tab : [id = key, parent = option key] ++ cols + table tab : ([id = key, parent = option key] ++ cols) end) = struct open M -- cgit v1.2.3