Message ID | pull.727.git.git.1584213347500.gitgitgadget@gmail.com (mailing list archive) |
---|---|
State | New, archived |
Headers | show |
Series | oidset: remove unnecessary include | expand |
On Sat, Mar 14, 2020 at 07:15:47PM +0000, Elijah Newren via GitGitGadget wrote: > From: Elijah Newren <newren@gmail.com> > > When commit 8b2f8cbcb1 ("oidset: use khash", 2018-10-04) moved from > using oidmap to khash, it replaced the oidmap.h include with both one > for hashmap.h and khash.h. Since the hashmap.h header is unnecessary, > and the point of the patch was to switch from hashmap (used by oidmap) > to khash.h, remove the unneccessary include. Good catch. I doubt this is causing problems, but it's obviously the right thing to do. I ran "make hdr-check" to confirm that no _other_ headers were subtly relying on this include. -Peff
diff --git a/oidset.h b/oidset.h index 5346563b0bc..d8a106b1275 100644 --- a/oidset.h +++ b/oidset.h @@ -1,7 +1,6 @@ #ifndef OIDSET_H #define OIDSET_H -#include "hashmap.h" #include "khash.h" /**