From 5ee15d277b88084242dc2950f6c85e252d13f1b4 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 3 Dec 2011 16:25:09 -0500 Subject: Change client-side debug to use console.debug --- tests/csdebug.ur | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 tests/csdebug.ur (limited to 'tests/csdebug.ur') diff --git a/tests/csdebug.ur b/tests/csdebug.ur new file mode 100644 index 00000000..66ba0aea --- /dev/null +++ b/tests/csdebug.ur @@ -0,0 +1,5 @@ +fun main () : transaction page = + n <- source 0; + return +