diff --git a/crux-llvm/crux-llvm.cabal b/crux-llvm/crux-llvm.cabal
index ed90d398b..b2aea3204 100644
--- a/crux-llvm/crux-llvm.cabal
+++ b/crux-llvm/crux-llvm.cabal
@@ -91,7 +91,6 @@ library
     aeson,
     bv-sized,
     config-schema >= 1.2.2.0,
-    data-binary-ieee754,
     logict,
     llvm-pretty,
     llvm-pretty-bc-parser,