···11+--- a/version.ml 2018-09-08 15:56:18.919154257 +0200
22++++ b/version.ml 2018-09-08 15:56:07.544028575 +0200
33+@@ -24,16 +24,6 @@
44+55+ let run () =
66+ let bdb_version = Bdb.version () in
77+- let dbstats_dir =
88+- let split = Str.regexp_string "." in
99+- let major_minor_string major minor =
1010+- sprintf "Further details about the BDB environment can be seen by \
1111+- executing\ndb%s.%s_stat -x in the KDB and Ptree directories\n" major minor
1212+- in
1313+- match Str.split split bdb_version with
1414+- | major :: minor :: _ -> major_minor_string major minor
1515+- | [] | _ :: [] -> major_minor_string "X" "Y"
1616+- in
1717+ printf "SKS version %s%s\n"
1818+ Common.version Common.version_suffix;
1919+2020+@@ -44,5 +34,6 @@
2121+ requirement for recon of SKS %s\n"
2222+ Common.compatible_version_string;
2323+2424+- printf "%s" dbstats_dir
2525++ printf "Further details about the BDB environment can be seen by executing\n\
2626++ db_stat -x in the KDB and PTree directories\n"
2727+