Replace another exn? check by exn:fail?.

svn: r16040
2009-09-17 13:14:07 +00:00 · 2009-09-17 13:14:07 +00:00 · 1e0a68516e
commit 1e0a68516e
parent e5df901306
1 changed files with 1 additions and 1 deletions
--- 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))))