Export modifyFlags and modifyModuleFlags from GF.Infra.Options.

2008-08-24 14:52:49 +00:00
parent cc2442bec4
commit a415c83319
1 changed files with 1 additions and 0 deletions
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -14,6 +14,7 @@ module GF.Infra.Option
     addOptions, concatOptions, noOptions,
     moduleOptions,
     addModuleOptions, concatModuleOptions, noModuleOptions,
+     modifyFlags, modifyModuleFlags,
     helpMessage,
     -- * Checking specific options
     flag, moduleFlag,