From ae8d0bfba9c05cf407f7591b34d8d10c157a0454 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Wed, 23 Dec 2009 14:27:12 -0500
Subject: Don't relify in bigLibs; fix some memory bugs in transactionals

---
 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 88046256..fc764205 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -561,7 +561,7 @@ fun parseUrp' accLibs fname =
                               | "library" => if accLibs then
                                                  libs := pu (relify arg) :: !libs
                                              else
-                                                 bigLibs := relify arg :: !bigLibs
+                                                 bigLibs := arg :: !bigLibs
                               | "path" =>
                                 (case String.fields (fn ch => ch = #"=") arg of
                                      [n, v] => pathmap := M.insert (!pathmap, n, v)
-- 
cgit v1.2.3