diff --git a/x86_symbolic/src/Data/Macaw/X86/Crucible.hs b/x86_symbolic/src/Data/Macaw/X86/Crucible.hs
index 24573987..1b18b936 100644
--- a/x86_symbolic/src/Data/Macaw/X86/Crucible.hs
+++ b/x86_symbolic/src/Data/Macaw/X86/Crucible.hs
@@ -889,10 +889,6 @@ toValBV ::
   IO (RegValue sym (BVType w))
 toValBV sym (AtomWrapper x) = projectLLVM_bv sym (regValue x)
 
-type family FloatInfoFromSSEType (tp :: M.Type) :: FloatInfo where
-  FloatInfoFromSSEType (M.BVType 32) = SingleFloat
-  FloatInfoFromSSEType (M.BVType 64) = DoubleFloat
-
 floatInfoFromSSEType
   :: M.SSE_FloatType tp -> FloatInfoRepr (ToCrucibleFloatInfo tp)
 floatInfoFromSSEType = \case