From 42beccc03b8546605578ccec824b3327751fdb41 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 17 Nov 2007 14:10:58 +0000 Subject: [PATCH] test coverage annotation uses #%plain-app svn: r7754 --- collects/errortrace/stacktrace.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/errortrace/stacktrace.ss b/collects/errortrace/stacktrace.ss index 28a9c2e5e2..51c795f48e 100644 --- a/collects/errortrace/stacktrace.ss +++ b/collects/errortrace/stacktrace.ss @@ -90,7 +90,7 @@ #f key (quote-syntax here))] [body body] [test-covered test-covered]) - #'(begin (test-covered 'key) body))) + #'(begin (#%plain-app test-covered 'key) body))) body)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;