Fixed deprecation warning from Paths_ihp

digitallyinduced · Jul 30, 2023 · 39d49d5 · 39d49d5
1 parent 103fe2a
commit 39d49d5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Paths_ihp.hs b/Paths_ihp.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -Wno-deprecations  #-}
 module Paths_ihp where
 
 import Data.Version