|
@@ -1316,9 +1316,9 @@ try
|
|
match smode with
|
|
match smode with
|
|
| "resolve" ->
|
|
| "resolve" ->
|
|
DMResolve arg
|
|
DMResolve arg
|
|
- | "workspace-symbols" ->
|
|
|
|
- Common.define com Define.NoCOpt;
|
|
|
|
- DMModuleSymbols (Some arg)
|
|
|
|
|
|
+ | "workspace-symbols" ->
|
|
|
|
+ Common.define com Define.NoCOpt;
|
|
|
|
+ DMModuleSymbols (Some arg)
|
|
| _ ->
|
|
| _ ->
|
|
DMDefault
|
|
DMDefault
|
|
in
|
|
in
|