gcontini
2019-11-30 8f01d6c808cb61d2186fdfb802ecf35ee8db8065
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