gcontini
2019-11-30 bcdd6d88f7df3212d57eb93024fe5ada502bc49f
src/library/pc-identifiers.h
@@ -2,12 +2,13 @@
 * pc-identifiers.h
 *
 *  Created on: Apr 16, 2014
 *
 *
 */
#ifndef PC_IDENTIFIERS_H_
#define PC_IDENTIFIERS_H_
#include "api/datatypes.h"
#include <licensecc/datatypes.h>
#include "base/base.h"
#ifdef __cplusplus