From 25b0685cefe772c73562665a4cc8d2d40e5ff600 Mon Sep 17 00:00:00 2001
From: Simon Van Casteren <simon.van.casteren@gmail.com>
Date: Wed, 11 Dec 2019 13:58:01 +0100
Subject: Use elabFile completely instead of rebuilding it partially

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

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index fab939f9..ab7b86b4 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -1283,7 +1283,7 @@ val elaborate = {
               in
                   Elaborate.elabFile basis (OS.FileSys.modTime basisF)
                                      topStr topSgn (if Time.< (tm1, tm2) then tm2 else tm1)
-                                     ElabEnv.empty file
+                                     ElabEnv.empty (fn env => env) file
               end,
     print = ElabPrint.p_file ElabEnv.empty
 }
-- 
cgit v1.2.3