#ifndef _SEPOL_IBPKEY_INTERNAL_H_
#define _SEPOL_IBPKEY_INTERNAL_H_

#include <sepol/ibpkey_record.h>
#include <sepol/ibpkeys.h>

#endif