diff --git a/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic/Regs.hs b/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic/Regs.hs
index 7f7ba46e..8cc38662 100644
--- a/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic/Regs.hs
+++ b/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic/Regs.hs
@@ -38,7 +38,6 @@ This module is meant to be imported qualified, as it exports many terse names.
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
-{-# OPTIONS_GHC -ddump-simpl #-}
 
 module Data.Macaw.AArch32.Symbolic.Regs
   ( RegContext