Mercurial > urweb
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)