From 1e0a68516e2736c8d50a5161757371e9421acc6a Mon Sep 17 00:00:00 2001
From: Mike Sperber <sperber@deinprogramm.de>
Date: Thu, 17 Sep 2009 13:14:07 +0000
Subject: [PATCH] Replace another exn? check by exn:fail?.

svn: r16040
---
 collects/deinprogramm/DMdA.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/deinprogramm/DMdA.ss b/collects/deinprogramm/DMdA.ss
index 97a21c8b04..f215fba71a 100644
--- a/collects/deinprogramm/DMdA.ss
+++ b/collects/deinprogramm/DMdA.ss
@@ -1002,7 +1002,7 @@
 (define (check-property-error test src-info test-info)
   (let ((info (send test-info get-info)))
     (send info add-check)
-    (with-handlers ((exn?
+    (with-handlers ((exn:fail?
 		     (lambda (e)
 		       (send info property-error e src-info)
 		       (raise e))))