From b67de18776ec203874a5c9690d61aaa6c74829ca 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/babySpawn.ur | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 tests/babySpawn.ur (limited to 'tests/babySpawn.ur') diff --git a/tests/babySpawn.ur b/tests/babySpawn.ur new file mode 100644 index 00000000..d43e739f --- /dev/null +++ b/tests/babySpawn.ur @@ -0,0 +1,3 @@ +fun main () : transaction page = return +