From 4259d248050c93180767c076469431f11b8fe984 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 14 Nov 2013 06:36:36 -0500 Subject: Fix more of client-side error handlers --- tests/updateErr.ur | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tests') diff --git a/tests/updateErr.ur b/tests/updateErr.ur index 345e3aa8..d15f27a0 100644 --- a/tests/updateErr.ur +++ b/tests/updateErr.ur @@ -8,8 +8,9 @@ fun main () : transaction page = {[s]}}/>
Init else error Crapky}/>
"{[s]}"}/>
+