Merge pull request #586 from gdt/master

update.ml: Remove spurious spaces in printed path
bcpierce00 · Sep 7, 2021 · a3160b5 · a3160b5
2 parents 2bd6bfc + 69a8c89
commit a3160b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/update.ml b/src/update.ml
@@ -1060,7 +1060,7 @@ let abortIfAnyMountpointsAreMissing fspath =
        let path = Path.fromString s in
        if not (Os.exists fspath path) then
          raise (Util.Fatal
-           (Printf.sprintf "Path %s / %s is designated as a mountpoint, but points to nothing on host %s\n"
+           (Printf.sprintf "Path %s/%s is designated as a mountpoint, but points to nothing on host %s\n"
              (Fspath.toPrintString fspath) (Path.toString path)
              (Os.myCanonicalHostName ()))))
     (Prefs.read mountpoints)