From 94d4ec728c442b7b10d28a969cac8d6b271de580 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Sat, 21 Apr 2007 16:20:02 +0000
Subject: [PATCH] Fixed use of -unlexer in EmbedAPI. Before, EmbedAPI.linearize
 ignored the flags in the grammar.

---
 src/GF/Embed/EmbedAPI.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/GF/Embed/EmbedAPI.hs b/src/GF/Embed/EmbedAPI.hs
index 7a521d1cf..a3a130a36 100644
--- a/src/GF/Embed/EmbedAPI.hs
+++ b/src/GF/Embed/EmbedAPI.hs
@@ -15,7 +15,7 @@
 
 module GF.Embed.EmbedAPI where
 
-import GF.Compile.ShellState (ShellState,grammar2shellState,canModules,stateGrammarOfLang,abstract,grammar,firstStateGrammar,allLanguages,allCategories)
+import GF.Compile.ShellState (ShellState,grammar2shellState,canModules,stateGrammarOfLang,abstract,grammar,firstStateGrammar,allLanguages,allCategories,stateOptions)
 import GF.UseGrammar.Linear (linTree2string)
 import GF.UseGrammar.GetTree (string2tree)
 import GF.Embed.EmbedParsing (parseString)
@@ -79,7 +79,7 @@ linearize mgr lang =
  where
    gr    = grammar sgr
    sgr   = stateGrammarOfLang mgr (zIdent lang)
-   untok = customOrDefault noOptions useUntokenizer customUntokenizer sgr
+   untok = customOrDefault (stateOptions sgr) useUntokenizer customUntokenizer sgr
 
 parse mgr lang cat = 
   map tree2exp .