indexing dbpath: do not call getenv since it may fail (#1124)

Deducteam · Jun 24, 2024 · 0a3a2c4 · 0a3a2c4
1 parent 2cb70da
commit 0a3a2c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 () =