From 646d71c7a85d59bdb5f54ff1396367f8c4314fa5 Mon Sep 17 00:00:00 2001
From: Daniel Matichuk <dmatichuk@galois.com>
Date: Thu, 7 Dec 2023 13:03:53 -0800
Subject: [PATCH] Data.UnwrapType: add missing pragma

---
 src/Data/UnwrapType.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Data/UnwrapType.hs b/src/Data/UnwrapType.hs
index 5d2e567f..48b7a676 100644
--- 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