Gabriele Contini
2019-11-24 28183ed24fe1e85eaa9df0317d6233bb9d37e48f
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