git-read-tree: remove deleted files in the working directory

diff --git a/cache.h b/cache.h
index 74307f18296a6ef00f1839cc62d7560db1b916d6..6a7525afc982166430b6277cc756c8911f9b2bdb 100644 (file)
--- a/cache.h
+++ b/cache.h
@@ -167,7 +167,7 @@ extern void * unpack_sha1_file(void *map, unsigned long mapsize, char *type, uns
 extern void * read_sha1_file(const unsigned char *sha1, char *type, unsigned long *size);
 extern int write_sha1_file(void *buf, unsigned long len, const char *type, unsigned char *return_sha1);
 
-extern int check_sha1_signature(unsigned char *sha1, void *buf, unsigned long size, const char *type);
+extern int check_sha1_signature(const unsigned char *sha1, void *buf, unsigned long size, const char *type);
 
 /* Read a tree into the cache */
 extern int read_tree(void *buffer, unsigned long size, int stage);