From 2527fe34a9b8d01e2245c5812441a6da2a799ad8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 4 May 2014 12:33:44 -0400 Subject: Fix dynClass for non- contexts --- tests/dynClass.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/dynClass.ur') diff --git a/tests/dynClass.ur b/tests/dynClass.ur index 37f931a2..7cb94d28 100644 --- a/tests/dynClass.ur +++ b/tests/dynClass.ur @@ -15,7 +15,7 @@ fun main () : transaction page = STYLE "width: 500px" else STYLE "width: 200px")} - onclick={b <- get toggle; set toggle (not b)}/> + onclick={fn _ => b <- get toggle; set toggle (not b)}/>