From caf400b8410ff240c9cd47af36f474811b24087e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Tempel?= <tempel@uni-bremen.de>
Date: Thu, 18 Apr 2024 19:42:03 +0200
Subject: [PATCH] Remove unused extension from M-extension description

---
 lib/LibRISCV/Semantics/RV_M/Default.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/LibRISCV/Semantics/RV_M/Default.hs b/lib/LibRISCV/Semantics/RV_M/Default.hs
index 8f73f21..2244636 100644
--- a/lib/LibRISCV/Semantics/RV_M/Default.hs
+++ b/lib/LibRISCV/Semantics/RV_M/Default.hs
@@ -9,7 +9,6 @@
 {-# LANGUAGE QualifiedDo #-}
 {-# LANGUAGE BlockArguments #-}
 {-# LANGUAGE LambdaCase #-}
-{-# LANGUAGE TypeApplications #-}
 module LibRISCV.Semantics.RV_M.Default where
 
 import LibRISCV.Internal.Decoder.Opcodes (RV_I(..), RV_M (..), RV32_I (..))