diff src/compiler.sml @ 1084:8e240c007442

Don't relify in bigLibs; fix some memory bugs in transactionals
author Adam Chlipala <adamc@hcoop.net>
date Wed, 23 Dec 2009 14:27:12 -0500
parents 2eb585274501
children f1647f16097d
line wrap: on
line diff
--- a/src/compiler.sml	Wed Dec 23 12:25:34 2009 -0500
+++ b/src/compiler.sml	Wed Dec 23 14:27:12 2009 -0500
@@ -561,7 +561,7 @@
                               | "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)