Added module header documentation

MirceaS · MirceaS · commit bba385763307 · 2020-11-24T14:44:31.000+02:00
diff --git a/kore/src/Kore/OptionsParser.hs b/kore/src/Kore/OptionsParser.hs
@@ -1,3 +1,9 @@
+{- |
+Copyright   : (c) Runtime Verification, 2020
+License     : NCSA
+
+-}
+
 module Kore.OptionsParser
     ( enableDisableFlag
     , KoreParserOptions (..)
