From ac6a32c651d76d10650fffb99f77f05c583ff0cf Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 13:24:54 -0400 Subject: Simple listShop working --- demo/listShop.urp | 1 + 1 file changed, 1 insertion(+) (limited to 'demo/listShop.urp') diff --git a/demo/listShop.urp b/demo/listShop.urp index 85d318d4..219c6828 100644 --- a/demo/listShop.urp +++ b/demo/listShop.urp @@ -1,3 +1,4 @@ +debug list listFun -- cgit v1.2.3