From d85248cb116c4e2db7a04d80a8eba6870344c2a9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 15 Jul 2011 10:02:54 -0400 Subject: Fixes for detecting pastes and autocompletes for dynamic textboxes --- tests/autocomp.ur | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 tests/autocomp.ur (limited to 'tests/autocomp.ur') diff --git a/tests/autocomp.ur b/tests/autocomp.ur new file mode 100644 index 00000000..d4e6a287 --- /dev/null +++ b/tests/autocomp.ur @@ -0,0 +1,11 @@ +fun main () : transaction page = + a <- source ""; + b <- source ""; + return +