diff --git a/collects/drscheme/syncheck-drscheme-button.rkt b/collects/drscheme/syncheck-drscheme-button.rkt
deleted file mode 100644
index 59ca26373f..0000000000
--- a/collects/drscheme/syncheck-drscheme-button.rkt
+++ /dev/null
@@ -1,18 +0,0 @@
-#lang racket/base
-(require racket/class 
-         racket/gui/base
-         string-constants/string-constant)
-(provide syncheck-drracket-button
-         syncheck-bitmap
-         syncheck:button-callback)
-
-(define-local-member-name syncheck:button-callback)
-
-(define syncheck-bitmap (make-object bitmap% (build-path (collection-path "icons") "syncheck.png") 'png/mask))
-
-(define syncheck-drracket-button
-  (list 
-   (string-constant check-syntax)
-   syncheck-bitmap
-   (λ (drs-frame) (send drs-frame syncheck:button-callback))))
-
diff --git a/collects/meta/props b/collects/meta/props
index dab896f0b2..f2020de351 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -609,7 +609,6 @@ path/s is either such a string or a list of them.
 "collects/drscheme/private/unit.rkt" drdr:command-line "mred-text -t ~s"
 "collects/drscheme/sprof.rkt" drdr:command-line "mred-text -t ~s"
 "collects/drscheme/syncheck-drracket-button.rkt" drdr:command-line "mred-text ~s"
-"collects/drscheme/syncheck-drscheme-button.rkt" drdr:command-line "gracket-text ~s"
 "collects/drscheme/syncheck.rkt" drdr:command-line "mred-text -t ~s"
 "collects/drscheme/tool-lib.rkt" drdr:command-line "mzc ~s"
 "collects/dynext" responsible (mflatt)