From c8f4146e1f1ca9c312e96ebf0ac65eb9bdc17442 Mon Sep 17 00:00:00 2001
From: Luke Maurer <lukemaurer@galois.com>
Date: Thu, 28 Jun 2018 13:38:04 -0700
Subject: [PATCH] Remove now-unnecessary optimization flags

The spliced TH code has gotten small enough that running multiple
iterations of the simplifier isn't horrible.
---
 macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs   | 1 -
 macaw-arm/src/Data/Macaw/ARM/Semantics/ThumbSemantics.hs | 1 -
 2 files changed, 2 deletions(-)

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