diff options
Diffstat (limited to 'src/lsp.sml')
-rw-r--r-- | src/lsp.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lsp.sml b/src/lsp.sml index a39c8237..4259c9ec 100644 --- a/src/lsp.sml +++ b/src/lsp.sml @@ -119,7 +119,7 @@ fun elabFile (state: state) (fileName: string): ({ decls: Elab.decl list, envBef then (List.rev (#1 acc), true) else (entry :: #1 acc, false)) ([] (* modules before *), false (* module found *)) - (#sources job) + (#ffi job @ #sources job) val modulesBeforeThisFile = #1 moduleSearchRes val () = if #2 moduleSearchRes then () |