diff --git a/gui-lib/framework/private/racket.rkt b/gui-lib/framework/private/racket.rkt index 0e76dbd0..a4e6b937 100644 --- a/gui-lib/framework/private/racket.rkt +++ b/gui-lib/framework/private/racket.rkt @@ -13,7 +13,7 @@ "../gui-utils.rkt" "../preferences.rkt" racket/match - unstable/options) + racket/contract/option) (import mred^ [prefix preferences: framework:preferences^] diff --git a/gui-lib/info.rkt b/gui-lib/info.rkt index 6535db8f..dcd8bca3 100644 --- a/gui-lib/info.rkt +++ b/gui-lib/info.rkt @@ -4,7 +4,7 @@ (define deps '("srfi-lite-lib" "data-lib" - ["base" #:version "6.2.900.14"] + ["base" #:version "6.2.900.17"] "syntax-color-lib" ("draw-lib" #:version "1.6") "snip-lib" @@ -13,7 +13,7 @@ "scheme-lib" "scribble-lib" "string-constants-lib" - "unstable-options-lib" + "option-contract-lib" "2d-lib" "compatibility-lib" "tex-table"