ppc-symbolic: Don't warn about an orphan instance

GaloisInc · Sep 25, 2024 · 4356078 · 4356078
1 parent ec352de
commit 4356078
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic/Regs.hs b/macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic/Regs.hs
@@ -20,6 +20,7 @@ This module is meant to be imported qualified, as it exports many terse names.
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
+{-# OPTIONS_GHC -fno-warn-orphans #-}
 
 module Data.Macaw.PPC.Symbolic.Regs
   ( RegContext