From aee7b6df39b763518dead8f160725c06fb8c7d66 Mon Sep 17 00:00:00 2001
From: Simon Van Casteren <simonvancasteren@localhost.localdomain>
Date: Fri, 13 Dec 2019 21:17:11 +0100
Subject: Parse also FFi .urs files

---
 src/lsp.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ()
-- 
cgit v1.2.3