Permalink
Browse files

[fix] compilation: forgotten line

  • Loading branch information...
1 parent 96c8845 commit 92a3160c3b3cbdea44e088a343768b19aef1ae2d Raja committed Jul 8, 2011
Showing with 1 addition and 0 deletions.
  1. +1 −0 database/db3/session.ml
View
@@ -221,6 +221,7 @@ module DT = DbTypes
Logger.log ~color:`yellow
"DB : get timestamp for revision %s" (Revision.to_string rev)
#<End>;
+ let dbrev = Hldb.get_rev (t.db_ref) in
try IoManager.read_timestamp t.file_manager (Revision.value rev)
with DT.CrashTimestamp ->
raise (DiskError (Printf.sprintf "Timestamp: try to read an uncommitted revision (%s vs %s)"

0 comments on commit 92a3160

Please sign in to comment.