diff --git a/pkgs/racket-test/tests/racket/contract/stronger.rkt b/pkgs/racket-test/tests/racket/contract/stronger.rkt index 809c2b0318..4b9cf9783f 100644 --- a/pkgs/racket-test/tests/racket/contract/stronger.rkt +++ b/pkgs/racket-test/tests/racket/contract/stronger.rkt @@ -57,7 +57,7 @@ (ctest #f contract-stronger? (>/c 2) (>/c 3)) (ctest #f contract-stronger? (/c 2)) + (ctest #f contract-stronger? (/c 2)) (ctest #t contract-stronger? (=/c 2)) (ctest #f contract-stronger? (>/c 2) (<=/c 2)) diff --git a/racket/collects/racket/contract/private/misc.rkt b/racket/collects/racket/contract/private/misc.rkt index 09535a42d8..afd28207b5 100644 --- a/racket/collects/racket/contract/private/misc.rkt +++ b/racket/collects/racket/contract/private/misc.rkt @@ -263,7 +263,8 @@ [(and (<-ctc? this) (<-ctc? that)) (<= this-x (-ctc-x that))] [(and (>-ctc? this) (>-ctc? that)) - (>= this-x (-ctc-x that))])] + (>= this-x (-ctc-x that))] + [else #f])] [(between/c-s? that) (cond [(<-ctc? this)