f

ionide · Feb 28, 2019 · 8eb637b · 8eb637b
1 parent ce0b37a
commit 8eb637b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/FsAutoComplete.Core/Workspace.fs b/src/FsAutoComplete.Core/Workspace.fs
@@ -107,7 +107,7 @@ let private mapExtraOptions (dpwExtraProjectInfo: DPW_ExtraProjectInfoData) : Ex
 
     extraInfo
 
-let bindExtraOptions (opts: Microsoft.FSharp.Compiler.SourceCodeServices.FSharpProjectOptions, projectFiles, logMap) =
+let bindExtraOptions (opts: FSharp.Compiler.SourceCodeServices.FSharpProjectOptions, projectFiles, logMap) =
     match opts.ExtraProjectInfo with
     | None ->
         Error (GenericError(opts.ProjectFileName, "expected ExtraProjectInfo after project parsing, was None"))