Remove unused extension from M-extension description

agra-uni-bremen · Apr 18, 2024 · caf400b · caf400b
1 parent cb9581a
commit caf400b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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 (..))