Data.UnwrapType: add missing pragma

GaloisInc · Dec 7, 2023 · 646d71c · 646d71c
1 parent 7d1d774
commit 646d71c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Data/UnwrapType.hs b/src/Data/UnwrapType.hs
@@ -5,7 +5,7 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE AllowAmbiguousTypes #-}
-
+{-# LANGUAGE DataKinds #-}
 
 module Data.UnwrapType ( UnwrapType, unwrapClass ) where