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/compiler.sml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index 8f6d1fad..99f2ff31 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -413,11 +413,7 @@ fun inputCommentableLine inf =
 val lastUrp = ref ""
 
 fun parseUrp' accLibs fname =
-    (if !lastUrp = fname then
-         ()
-     else
-         ModDb.reset ();
-     lastUrp := fname;
+    (lastUrp := fname;
      if not (Posix.FileSys.access (fname ^ ".urp", []) orelse Posix.FileSys.access (fname ^ "/lib.urp", []))
         andalso Posix.FileSys.access (fname ^ ".ur", []) then
          let
-- 
cgit v1.2.3