no more .tlc

Incubaid · Feb 3, 2011 · 977f483 · 977f483
1 parent a2af999
commit 977f483
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/tlog/tlc2.ml b/src/tlog/tlc2.ml
@@ -113,7 +113,8 @@ let fold_read tlog_dir file_name
 	if msg = "uncompressed" 
 	then (* file might have moved meanwhile *)
 	  begin
-	    Lwt_log.debug_f "%s became .tlf meanwhile " file_name >>= fun () ->
+	    Lwt_log.debug_f "%s became %s meanwhile " file_name archive_extension 
+	    >>= fun () ->
 	    let an = to_archive_name file_name in
 	    let full_an = Filename.concat tlog_dir an in
 	    Lwt_log.debug_f "folding compressed %s" an >>= fun () ->