aarch32-symbolic: Remove accidentally-included -ddump-simpl

GaloisInc · Sep 25, 2024 · 206a864 · 206a864
1 parent 9861e07
commit 206a864
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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