From 023488cde9c968df265df1bd8b2358f5c2216115 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 12 Dec 2010 10:35:04 -0500 Subject: Change Basis.debug to use the protocol's debug function --- tests/hog.ur | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tests/hog.ur') diff --git a/tests/hog.ur b/tests/hog.ur index 419d202d..cd666cbe 100644 --- a/tests/hog.ur +++ b/tests/hog.ur @@ -4,4 +4,6 @@ fun more n = else more (n-1) ^ more (n-1) -fun main n = return {[more n]} +fun main n = + debug "Let's give this a try...."; + return {[more n]} -- cgit v1.2.3