From 81fc07c775afbbdab8f77be0fe8022a9210c0ff4 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Tue, 23 Apr 2024 15:26:07 +0200
Subject: [PATCH] cassava.cabal: remove duplicate other-extensions

---
 cassava.cabal | 2 --
 1 file changed, 2 deletions(-)

diff --git a/cassava.cabal b/cassava.cabal
index 5a22ccc..9723ab2 100644
--- a/cassava.cabal
+++ b/cassava.cabal
@@ -68,7 +68,6 @@ Library
     BangPatterns
     CPP
     DataKinds
-    DataKinds
     DefaultSignatures
     DeriveFunctor
     FlexibleContexts
@@ -77,7 +76,6 @@ Library
     MultiParamTypeClasses
     OverloadedStrings
     PolyKinds
-    PolyKinds
     Rank2Types
     ScopedTypeVariables
     TypeOperators