From afdf9924539e1df0a515bb5760fa76ca014395ff Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 3 Aug 2012 12:39:04 -0400 Subject: Back out last change and pursue a different fix, based on explicitly aborting script execution at times when we don't expect scripts to run --- tests/dynTable.ur | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'tests/dynTable.ur') diff --git a/tests/dynTable.ur b/tests/dynTable.ur index 7fe295c6..d73dc52c 100644 --- a/tests/dynTable.ur +++ b/tests/dynTable.ur @@ -8,14 +8,14 @@ fun main () : transaction page = Hi -