From 765c18f6f32d6e2123ac1aa1c4dcdd522b9faf48 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 3 Jul 2011 12:40:00 -0400 Subject: For non-debug builds, leave out source location info in what is shown to user --- tests/error.ur | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'tests/error.ur') diff --git a/tests/error.ur b/tests/error.ur index e5586d8d..00c0105f 100644 --- a/tests/error.ur +++ b/tests/error.ur @@ -1,3 +1,2 @@ -fun main () : transaction page = return - I couldn't make up my mind!}>Hello! - +fun main () : transaction page = + error I couldn't make up my mind! -- cgit v1.2.3