From fc1064b24d306635515307b1aa87588b6b3a50e0 Mon Sep 17 00:00:00 2001
From: varun10p <varun10p@cs.washington.edu>
Date: Thu, 26 Sep 2024 22:27:52 -0700
Subject: [PATCH] Fpcore bug fix

---
 src/platforms/bool.rkt | 1 -
 1 file changed, 1 deletion(-)

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)))