diff --git a/src/tool/indexing.ml b/src/tool/indexing.ml index a555e1917..a21a507af 100644 --- a/src/tool/indexing.ml +++ b/src/tool/indexing.ml @@ -308,7 +308,7 @@ module DB = struct (* disk persistence *) - let dbpath = Sys.getenv "HOME" ^ "/.LPSearch.db" + let dbpath = "~/.LPSearch.db" let rwpaths = ref [] let restore_from_disk () =