diff --git a/collects/tests/deinprogramm/contract.ss b/collects/tests/deinprogramm/contract.ss index f450d55a38..2c405d3e78 100644 --- a/collects/tests/deinprogramm/contract.ss +++ b/collects/tests/deinprogramm/contract.ss @@ -2,7 +2,7 @@ (provide all-contract-tests) -(require (planet schematics/schemeunit:3) +(require schemeunit deinprogramm/contract/contract deinprogramm/contract/contract-syntax) diff --git a/collects/tests/deinprogramm/image.ss b/collects/tests/deinprogramm/image.ss index 41d41ab64e..bd11526c9c 100644 --- a/collects/tests/deinprogramm/image.ss +++ b/collects/tests/deinprogramm/image.ss @@ -2,7 +2,7 @@ (provide all-image-tests) -(require (planet schematics/schemeunit:3) +(require schemeunit deinprogramm/image (only-in lang/private/imageeq image=?) mred @@ -154,7 +154,7 @@ ;; c) has the right name. (define (tp-exn-pred name position) (lambda (exn) - (and (tp-exn? exn) + (and (exn:fail:contract? exn) (let* ([msg (exn-message exn)] [beg (format "~a:" name)] [len (string-length beg)]) diff --git a/collects/tests/deinprogramm/run-contract-tests.ss b/collects/tests/deinprogramm/run-contract-tests.ss index c375180247..524a79d1d0 100644 --- a/collects/tests/deinprogramm/run-contract-tests.ss +++ b/collects/tests/deinprogramm/run-contract-tests.ss @@ -1,6 +1,6 @@ #lang scheme/base -(require (planet schematics/schemeunit:3/text-ui)) +(require schemeunit/text-ui) (require tests/deinprogramm/contract) (run-tests all-contract-tests) \ No newline at end of file