diff options
author | Ziv Scully <ziv@mit.edu> | 2015-05-06 14:51:09 -0400 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-05-06 14:51:09 -0400 |
commit | 9c155aa780bef9e6edae2c07516693c12b37962b (patch) | |
tree | 83112df872c19daae3e2285917119bc7c1eda2ff /src/settings.sml | |
parent | d3f147f2de07ca854f3eb8679e05460ea0c2c841 (diff) | |
parent | d30f4a5a9244eb6b2ae3d6d8a126e240a2555f70 (diff) |
Merge.
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml index e15988cd..fc55511d 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -880,7 +880,7 @@ fun setFilePath path = filePath := path fun addFile {Uri, LoadFromFilename} = let - val path = OS.Path.mkAbsolute {relativeTo = !filePath, path = LoadFromFilename} + val path = OS.Path.concat (!filePath, LoadFromFilename) in case SM.find (!files, Uri) of SOME (path', _) => |