From a23f12953a60c8f8d663266a9644a08a905b7b36 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 12:06:35 -0400 Subject: ListShop skeleton --- demo/listFun.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo/listFun.ur') diff --git a/demo/listFun.ur b/demo/listFun.ur index 7a3459aa..833aee51 100644 --- a/demo/listFun.ur +++ b/demo/listFun.ur @@ -1,5 +1,5 @@ functor Make(M : sig type t end) = struct - val x = 6 + fun main () = return end -- cgit v1.2.3