From 1ecb4f63e9765962aab570bf043cb65c22df1e45 Mon Sep 17 00:00:00 2001 From: bjorn Date: Wed, 15 Oct 2008 11:38:34 +0000 Subject: Added OPTIONS class to make options handling somewhat nicer. Next, I will merge Flags and ModuleFlags. --- src/GF/Compile/Rebuild.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Compile/Rebuild.hs') diff --git a/src/GF/Compile/Rebuild.hs b/src/GF/Compile/Rebuild.hs index 5dc781887..04fc43d10 100644 --- a/src/GF/Compile/Rebuild.hs +++ b/src/GF/Compile/Rebuild.hs @@ -81,7 +81,7 @@ rebuildModule ms mo@(i,mi) = do ++ [oSimple i | i <- map snd insts] ---- --- check if me is incomplete - let fs1 = addModuleOptions fs fs_ -- new flags have priority + let fs1 = fs `addOptions` fs_ -- new flags have priority let js0 = [ci | ci@(c,_) <- tree2list js, isInherited incl c] let js1 = buildTree (tree2list js_ ++ js0) let ps1 = buildTree (tree2list ps_ ++ tree2list ps0) -- cgit v1.2.3