summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml2
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', _) =>