write_index(): update index_state->timestamp after flushing to disk

diff --git a/cache.h b/cache.h
index 2badbfedc47ebf58a979b9e2d160f223ef05206a..2f4f0549f930f11ded62e5efcb20a7fcb3362474 100644 (file)
--- a/cache.h
+++ b/cache.h
@@ -430,7 +430,7 @@ extern int read_index_preload(struct index_state *, const char **pathspec);
 extern int read_index_from(struct index_state *, const char *path);
 extern int is_index_unborn(struct index_state *);
 extern int read_index_unmerged(struct index_state *);
-extern int write_index(const struct index_state *, int newfd);
+extern int write_index(struct index_state *, int newfd);
 extern int discard_index(struct index_state *);
 extern int unmerged_index(const struct index_state *);
 extern int verify_path(const char *path);