diff options
Diffstat (limited to 'src-3.0/GF/Command/Interpreter.hs')
| -rw-r--r-- | src-3.0/GF/Command/Interpreter.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src-3.0/GF/Command/Interpreter.hs b/src-3.0/GF/Command/Interpreter.hs index 97ecb89b8..5663d12b3 100644 --- a/src-3.0/GF/Command/Interpreter.hs +++ b/src-3.0/GF/Command/Interpreter.hs @@ -61,8 +61,8 @@ interpret env trees0 comm = case lookCommand co comms of comms = commands env checkOpts info = case - [o | OOpt o <- opts, notElem o ("tr" : options info)] ++ - [o | OFlag o _ <- opts, notElem o (flags info)] + [o | OOpt o <- opts, notElem o ("tr" : map fst (options info))] ++ + [o | OFlag o _ <- opts, notElem o (map fst (flags info))] of [] -> return () [o] -> putStrLn $ "option not interpreted: " ++ o |