summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-10-25 13:02:13 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-10-25 13:02:13 -0400
commit0bdf754b0c5c1ad18b28b4f28c6f90daac1a9994 (patch)
tree47db73312953aa19b756247c6bee8e5888a616e5 /demo
parent8d179338f320dfc2b7d6a23204cf1ae90f4898ba (diff)
Extend Fuse to work on non-recursive functions
Diffstat (limited to 'demo')
-rw-r--r--demo/more/conference1.ur2
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/more/conference1.ur b/demo/more/conference1.ur
index b6867728..4cf2ae92 100644
--- a/demo/more/conference1.ur
+++ b/demo/more/conference1.ur
@@ -5,7 +5,7 @@ open Conference.Make(struct
Abstract = abstract}
val review = {Rating = dropdown "Rating" (#"A" :: #"B" :: #"C" :: #"D" :: [])}
- val submissionDeadline = readError "2009-10-22 23:59:59"
+ val submissionDeadline = readError "2009-11-22 23:59:59"
fun summarizePaper r = cdata r.Title
end)