summaryrefslogtreecommitdiff
path: root/src/GF/API.hs
diff options
context:
space:
mode:
authoraarne <unknown>2003-11-10 10:02:26 +0000
committeraarne <unknown>2003-11-10 10:02:26 +0000
commit9eb32352c460f184f73fc13b8d92a0a77d7f5155 (patch)
treee6ca352fc86cbe51c71db74c16d1427e696544b3 /src/GF/API.hs
parent86662714a00f2ac08e6129c8bdac235f3e1efb2e (diff)
Fixed local flags.
Diffstat (limited to 'src/GF/API.hs')
-rw-r--r--src/GF/API.hs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/API.hs b/src/GF/API.hs
index 927c9683c..dfaf3bd27 100644
--- a/src/GF/API.hs
+++ b/src/GF/API.hs
@@ -162,10 +162,11 @@ optLinearizeTreeVal :: Options -> GFGrammar -> Tree -> String
optLinearizeTreeVal opts gr = err id id . optLinearizeTree opts gr
optLinearizeTree :: Options -> GFGrammar -> Tree -> Err String
-optLinearizeTree opts gr t = case getOptVal opts transferFun of
+optLinearizeTree opts0 gr t = case getOptVal opts transferFun of
Just m -> useByTransfer flin g (I.identC m) t
_ -> flin t
where
+ opts = addOptions (stateOptions gr) opts0
flin = case getOptVal opts markLin of
Just mk
| mk == markOptXML -> lin markXML