From 054ed340a319f6c33efc44919bfbfc89b235833f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 22 Nov 2015 10:03:35 -0500
Subject: Make daemon mode support sharing of libraries across projects

---
 src/elaborate.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/elaborate.sml')

diff --git a/src/elaborate.sml b/src/elaborate.sml
index c3e81b65..7671f597 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -5019,5 +5019,7 @@ fun elabFile basis basis_tm topStr topSgn top_tm env file =
         @ (L'.DStr ("Top", top_n, topSgn, topStr), ErrorMsg.dummySpan)
         :: ds' @ file
     end
+    handle e => (ModDb.revert ();
+                 raise e)
 
 end
-- 
cgit v1.2.3