From ad16eb2d788f6fe20e098f115ff42e0db8eb8974 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 11 Jun 2008 09:20:26 +0000 Subject: allow spaces between command options; option -treebank in linearize --- src-3.0/GF/Command/Interpreter.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src-3.0/GF/Command/Interpreter.hs') diff --git a/src-3.0/GF/Command/Interpreter.hs b/src-3.0/GF/Command/Interpreter.hs index 6bac6eca0..97ecb89b8 100644 --- a/src-3.0/GF/Command/Interpreter.hs +++ b/src-3.0/GF/Command/Interpreter.hs @@ -61,7 +61,7 @@ interpret env trees0 comm = case lookCommand co comms of comms = commands env checkOpts info = case - [o | OOpt o <- opts, notElem o (options info)] ++ + [o | OOpt o <- opts, notElem o ("tr" : options info)] ++ [o | OFlag o _ <- opts, notElem o (flags info)] of [] -> return () -- cgit v1.2.3