diff --git a/src/platforms/bool.rkt b/src/platforms/bool.rkt
index a73176ff2..0f6863a47 100644
--- a/src/platforms/bool.rkt
+++ b/src/platforms/bool.rkt
@@ -32,7 +32,6 @@
 (define-operator-impl (not [x : bool])
                       bool
                       #:spec (not x)
-                      #:fpcore (! (not x))
                       #:fl not
                       #:identities (#:exact (not a)))