summaryrefslogtreecommitdiff
path: root/src/GF/Shell
diff options
context:
space:
mode:
authoraarne <unknown>2005-01-11 15:06:12 +0000
committeraarne <unknown>2005-01-11 15:06:12 +0000
commit87b55df10f00fd23d89a89bfb7c4354ff455d83d (patch)
tree91d46e3592a49de8cf7b6b3917fcc0077df1dbd6 /src/GF/Shell
parentbb3d2e1d42e662a3add785670f289787d2e492e2 (diff)
-val optimization
Diffstat (limited to 'src/GF/Shell')
-rw-r--r--src/GF/Shell/ShellCommands.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index a3e5d3b94..dda54e1c9 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -134,7 +134,7 @@ testValidFlag st co f x = case f of
optionsOfCommand :: Command -> ([String],[String])
optionsOfCommand co = case co of
- CImport _ -> both "old v s opt src retain nocf nocheckcirc cflexer noemit o"
+ CImport _ -> both "old v s opt val src retain nocf nocheckcirc cflexer noemit o"
"abs cnc res path"
CRemoveLanguage _ -> none
CEmptyState -> none