removed redundant import

Author: MirceaS

kore/app/parser/Main.hs

@@ -8,12 +8,6 @@ import Control.Monad.Catch
     , handle
     )
 import qualified Data.Map.Strict as Map
-import Options.Applicative
-    ( InfoMod
-    , fullDesc
-    , header
-    , progDesc
-    )
 
 import Kore.AST.ApplicativeKore
 import Kore.ASTVerifier.DefinitionVerifier