test coverage annotation uses #%plain-app

svn: r7754
This commit is contained in:
Matthew Flatt 2007-11-17 14:10:58 +00:00
parent 1c0d42570b
commit 42beccc03b

View File

@ -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))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;