From 0091af30d2d24940404e49b30a6d0e2a0e4ba4e7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 27 May 2010 15:10:52 -0400 Subject: Consider view declarations while shaking --- demo/crud.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo') diff --git a/demo/crud.ur b/demo/crud.ur index 7850e656..82739772 100644 --- a/demo/crud.ur +++ b/demo/crud.ur @@ -167,7 +167,7 @@ functor Make(M : sig
- end + end and main () = ls <- list (); -- cgit v1.2.3