Fpcore bug fix

varun10p · varun10p · commit fc1064b24d30 · 2024-09-26T22:27:52.000-07:00
diff --git 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)))
 
