From 971c90befe4dfac4c235fa59d65f7e652fc27e1d Mon Sep 17 00:00:00 2001 From: Vicent Marti Date: Mon, 28 Feb 2011 16:54:13 +0200 Subject: [PATCH] Do not free the index if it's owned by a repository Signed-off-by: Vicent Marti --- src/index.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/index.c b/src/index.c index 46bbafd3f..95e56b7d5 100644 --- a/src/index.c +++ b/src/index.c @@ -166,7 +166,7 @@ int git_index_open_inrepo(git_index **index_out, git_repository *repo) void git_index_free(git_index *index) { - if (index == NULL) + if (index == NULL || index->repository != NULL) return; git_index_clear(index);