From 849642e9dd638082bb7b1d7b704200e01429233d Mon Sep 17 00:00:00 2001 From: bjorn Date: Wed, 15 Oct 2008 11:55:18 +0000 Subject: Merge ModuleOptions and Options. --- src/GF/Source/GrammarToSource.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Source/GrammarToSource.hs') diff --git a/src/GF/Source/GrammarToSource.hs b/src/GF/Source/GrammarToSource.hs index f76fe6cee..bf3b92222 100644 --- a/src/GF/Source/GrammarToSource.hs +++ b/src/GF/Source/GrammarToSource.hs @@ -132,7 +132,7 @@ trPerh p = case p of May b -> P.EIndir $ tri b _ -> P.EMeta --- -trFlags :: ModuleOptions -> [P.TopDef] +trFlags :: Options -> [P.TopDef] trFlags = map trFlag . moduleOptionsGFO trFlag :: (String,String) -> P.TopDef -- cgit v1.2.3