From 65bf7ccfc6245257f810a7c95c48b9a37fed34e7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 17 Jan 2009 09:47:30 -0500 Subject: Add dynamic content under proper parents --- tests/dlist.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/dlist.ur') diff --git a/tests/dlist.ur b/tests/dlist.ur index dbf8c3c5..0733a0db 100644 --- a/tests/dlist.ur +++ b/tests/dlist.ur @@ -3,7 +3,7 @@ datatype dlist = Nil | Cons of string * source dlist fun delist dl = case dl of Nil => [] - | Cons (x, s) => {[x]} :: {delistSource s} + | Cons (x, s) => {[x]} :: ({delistSource s}) and delistSource s = -- cgit v1.2.3