Loading...
Searching...
No Matches
Go to the documentation of this file.
12#ifndef CPROVER_UTIL_IREP_IDS_H
13#define CPROVER_UTIL_IREP_IDS_H
29#define IREP_ID_ONE(the_id) extern const dstringt ID_##the_id;
30#define IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id;
32#include "irep_ids.def"