From 76c404dffc106cbf92f6f8d95aa86fb4b5cb9e3c Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sun, 6 May 2018 20:49:09 -0500
Subject: [PATCH] fix contract-stronger bug

---
 pkgs/racket-test/tests/racket/contract/stronger.rkt | 2 +-
 racket/collects/racket/contract/private/misc.rkt    | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

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 3) (</c 2))
   (ctest #t contract-stronger? (</c 2) (</c 3))
-  (ctest #t contract-stronger? (</c 2) (>/c 2))
+  (ctest #f contract-stronger? (</c 2) (>/c 2))
   (ctest #t contract-stronger? (</c 2) (<=/c 2))
   (ctest #f contract-stronger? (</c 2) (>=/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)