# 
# patch "commands.cc"
#  from [7901ddd02eeea823a941aab020fc84af450debab]
#    to [dc522095fd600c7f0bee9369d5e35c10af12fced]
# 
========================================================================
--- commands.cc	7901ddd02eeea823a941aab020fc84af450debab
+++ commands.cc	dc522095fd600c7f0bee9369d5e35c10af12fced
@@ -2569,6 +2569,8 @@
       file_data f_old;
       data data_old, data_new;
       vector<string> old_lines, new_lines;
+
+      cout << patch_sep << "\n";
       
       app.db.get_file_version(delta_entry_src(i), f_old);
       data_old = f_old.inner();