diff src/settings.sml @ 2232:a07b91fa71db

Merge.
author Ziv Scully <ziv@mit.edu>
date Wed, 06 May 2015 14:51:09 -0400
parents 54884b28b6c6 a159625975a7
children c05851bf7861
line wrap: on
line diff
--- a/src/settings.sml	Wed May 06 14:50:55 2015 -0400
+++ b/src/settings.sml	Wed May 06 14:51:09 2015 -0400
@@ -880,7 +880,7 @@
 
 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', _) =>