From 586ebe1d29c591aa735e3ed9b7bfc1b1407b3d69 Mon Sep 17 00:00:00 2001
From: Simon Van Casteren <simon.van.casteren@gmail.com>
Date: Sun, 15 Dec 2019 10:20:47 +0100
Subject: Added background threads

---
 src/sources | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 74171365..686832cc 100644
--- a/src/sources
+++ b/src/sources
@@ -285,6 +285,10 @@ $(SRC)/fromjson.sml
 
 $(SRC)/lspspec.sml
 
+$(SML_LIB)/basis/mlton.mlb
+$(SRC)/bg_thread.sig
+$(SRC)/bg_thread.sml
+
 $(SRC)/lsp.sig
 $(SRC)/lsp.sml
 
-- 
cgit v1.2.3