From a415c833192b7b8a125c8ec3fe20375e9beab78a Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Sun, 24 Aug 2008 14:52:49 +0000
Subject: [PATCH] Export modifyFlags and modifyModuleFlags from
 GF.Infra.Options.

---
 src/GF/Infra/Option.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index 563d6180e..515f923f2 100644
--- 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,