diff --git a/macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs b/macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs
index fad293f4..27b8f58b 100644
--- a/macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs
+++ b/macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs
@@ -3,7 +3,6 @@
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
-{-# OPTIONS_GHC -fno-spec-constr -fno-specialise -fmax-simplifier-iterations=1 -fno-call-arity #-}
 
 module Data.Macaw.ARM.Semantics.ARMSemantics
     ( execInstruction
diff --git a/macaw-arm/src/Data/Macaw/ARM/Semantics/ThumbSemantics.hs b/macaw-arm/src/Data/Macaw/ARM/Semantics/ThumbSemantics.hs
index 1cad6d88..da9b1f2b 100644
--- a/macaw-arm/src/Data/Macaw/ARM/Semantics/ThumbSemantics.hs
+++ b/macaw-arm/src/Data/Macaw/ARM/Semantics/ThumbSemantics.hs
@@ -3,7 +3,6 @@
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
-{-# OPTIONS_GHC -fno-spec-constr -fno-specialise -fmax-simplifier-iterations=1 -fno-call-arity #-}
 
 module Data.Macaw.ARM.Semantics.ThumbSemantics
     ( execInstruction