Commit 5e0a950d authored by MARCHE Claude's avatar MARCHE Claude

option -force really working

parent ff671773
......@@ -372,7 +372,7 @@ let () =
if !opt_stats && n<m then print_statistics files;
if !opt_latex then print_latex_statistics ();
eprintf "Everything replayed OK.@.";
if found_obs && n=m then
if found_obs && (n=m || !opt_force) then
begin
eprintf "Updating obsolete session...@?";
M.save_session ();
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment