Fpcore bug fix

herbie-fp · Sep 27, 2024 · fc1064b · fc1064b
1 parent 65556e8
commit fc1064b
Showing 1 changed file with 0 additions and 1 deletion.
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)))